136 software-formal-method-phd positions at ETH Zurich

  • ETH Zurich | Switzerland | about 8 hours ago

    100%, Zurich, fixed-term The Atmospheric Chemistry group at the Institute for Atmospheric and Climate Science (IAC) – ETH Zurich invites applications for a 4-year PhD position on “Investigating

  • ETH Zurich | Switzerland | about 2 months ago

    ) or neural network-based methods. The level of the targeted problems will  require further mathematical and algorithmic developments over the current state of data-driven SSM reduction. The PhD position will

  • ETH Zurich | Switzerland | about 2 months ago

    100%, Zurich, fixed-term The Optical Nanomaterial Group in the Physics Department at ETH Zurich is looking for a PhD student in quantum metamaterials. Optical metamaterials are a rapidly maturing

  • ETH Zurich | Switzerland | about 8 hours ago

    measures. Job description We are looking for two PhD candidates eager to work in an inter - and transdisciplinary setting. One PhD position will be focusing more on consumer choice and demand-driven food

  • ETH Zurich | Switzerland | 10 days ago

    . Commercial solutions avoid entanglement-based methods due to technical challenges, yet this limits the impact such technologies can have. In this project, we aim at further developing photonic integrated

  • ETH Zurich | Switzerland | about 1 month ago

    of SIS (e.g., HPC systems engineers, data scientists, research software developers) and external collaborators. Profile a PhD or equivalent in Computational or Computer Science, Engineering, Physics, or a

  • ETH Zurich | Switzerland | about 10 hours ago

    targeting biological pollutants, measurement of disease-related biomarkers, and study of organ-on-a-chip. We develop microfluid, optical and electrochemical methods in combination with microorganisms and

  • ETH Zurich | Switzerland | about 1 month ago

    , and integrated analysis. The team runs an excellent open source based software environment and establishes state-of-the-art data analysis concepts and algorithms. Job description The bioinformatician

  • ETH Zurich | Switzerland | about 1 month ago

     plasma. The main methods used are computer simulations for studying dust dynamics and analysing in situ measurements by spacecraft that carry a dust detector on board. We collaborate with researchers in

  • ETH Zurich | Switzerland | about 9 hours ago

    are we. We look forward to receiving your online application with the following documents: PhD degree Curriculum vitae (CV) detailing your academic qualifications and research experience (3 pages

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