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

  • ETH Zurich | Switzerland | 6 days ago

    . Profile Education: Master’s or PhD in Computer Science, Data Science, Software Engineering, or a related field. Experience: Proven track record in data engineering, software development, and integration

  • ETH Zürich | Switzerland | about 1 month 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 | about 7 hours 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 7 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

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

    experimental and simulated data, leveraging AI and machine learning techniques Contribute to novel computational optimisation methods for machining processes Develop and implement automation solutions, including

  • ETH Zurich | Switzerland | about 7 hours ago

    experiments at X-ray free-electron laser (XFEL) facilities. The role will also involve sample preparation, and characterization using both standard lab-based methods (optical and scanning electron microscopy

  • ETH Zurich | Switzerland | about 7 hours ago

    thermal evaporation, magnetron sputtering, spin-coating, photolithography, and plasma etching. Advanced optical and electronic methods will be used for device characterization. In line with our values , ETH

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