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

  • ETH Zurich | Switzerland | 2 months 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 | about 24 hours ago

    computational methods, artificial intelligence (AI), and extended reality (XR). Design++ fosters cross-departmental research, education, and industry collaboration to drive transformative change in the built

  • ETH Zurich | Switzerland | 2 months 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 Zürich | Switzerland | about 2 months ago

    ) in the Department of Information Technology and Electrical Engineering of ETH Zurich is a community of approximately 50 researchers from more than 20 countries working on the development of methods and

  • ETH Zurich | Switzerland | 22 days ago

    Engineering of ETH 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

  • ETH Zurich | Switzerland | about 24 hours ago

    transformation in bacteria – an important mode of horizontal gene transfer. We use complementary approaches including cryo-EM, biophysical methods and in vivo functional assays to study the protein machineries

  • ETH Zurich | Switzerland | about 1 month ago

    biology, or applied mathematics Documented experience in C++ programming and solid software engineering fundamentals Familiarity with numerical methods for solving PDEs (e.g., finite difference, finite

  • ETH Zurich | Switzerland | 16 days ago

    novel method for autonomous design of 3D shapes fitting to the user body and optimizing the design to the desired assistance. Apart from actively shaping our group's research, the positions include

  • ETH Zurich | Switzerland | 2 months 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 24 hours ago

    Dynamics group, where 2 PhD students work on developing lipid biomarkers for soil fertility. Propose your own research approaches to answer previously outlined research questions. Methods used in the group

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