168 software-formal-method-phd uni jobs in Switzerland

  • University of Basel | Switzerland | about 8 hours ago

    The Biozentrum of the University of Basel is one of the leading life sciences institutes in the world. It consists of 32 groups and 500 employees that research how molecules and cells create life, spanning the scale from atom to organism. Founded in 1971, the Biozentrum has been the birthplace...

  • & Virus Evolution (EVE) group at Swiss TPH, we are seeking a Software Engineer – Open Source Pathogen Data Platforms (80 – 100%) to help shape the tools that underpin pathogen data generation and sharing in

  • ETH Zurich | Switzerland | 2 days ago

    100%, Zurich, fixed-term Prof. Eva Heinen is seeking an ambitious PhD candidate to join her research group at the Institute for Transport Planning and Systems, Department of Transportation and

  • ETH Zurich | Switzerland | 2 days ago

    maintenance, development and implementation of new analytical methods and new data analysis strategies are part of the responsibilities, as is the participation in the training and teaching of graduate students

  • ETH Zurich | Switzerland | about 8 hours ago

    at the Department of Biosystems Science and Engineering (D-BSSE) of ETH Zurich in Basel invites exceptional candidates to apply for PhD and Postdoc positions in pioneering projects at the intersection of synthetic

  • ETH Zurich | Switzerland | about 7 hours ago

    , which you will co-develop with the help of a software engineer. In close collaboration with the architects in the frame of several Design Research Studios, you will apply the tool to co-create new urban

  • ETH Zurich | Switzerland | 2 days ago

    Zurich is a community of approximately 50 researchers from more than 20 countries working on the development of methods and computational tools for automation, exploring their potential for promoting our

  • ETH Zurich | Switzerland | about 8 hours ago

    of the SPUR group through a variety of activities, including: Conducting structured literature reviews; Collecting and analysing empirical data, using quantitative methods (e.g., surveys) and/or qualitative

  • ETH Zurich | Switzerland | 2 days ago

    system design. We employ advanced computational methods, machine learning, modeling, and custom hardware and software to continually test our solutions in various real-world industry projects. In one

  • ETH Zurich | Switzerland | about 7 hours ago

    100%, Zurich, fixed-term Our research group in the field of Digital Biomarker research (Health Informatics) is looking for a new PhD student starting as soon as possible. The position is based in

Enter an email to receive alerts for software-formal-method-phd positions