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

  • ETH Zurich | Switzerland | about 2 months ago

    Profile Essential MSc or PhD in Computer Science, Data Science, Artificial Intelligence, Machine Learning, or a related field. Exceptional BSc candidates with strong engineering experience will also be

  • ETH Zurich | Switzerland | 14 days ago

    used to turn Apertus base models into capable assistants. This role requires a strong background in LLM post-training, solid software engineering skills, and the ability to work collaboratively in a

  • ETH Zurich | Switzerland | about 23 hours ago

    , optimization and inverse problems, computational aspects of stochastic (partial) differential equations, randomized numerical algorithms, structure-aware and structure-preserving numerical methods for continuum

  • ETH Zurich | Switzerland | about 15 hours ago

    position focuses on the development of experimental and causal methods for efficient and robust evaluation of new product, policy, and technology in modern operational context of organizations. The research

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

    , Enviromental, and Geomatic Engineering, has an opening for a PhD student. This position focuses on leveraging vehicle sensors, remote sensing, and machine learning to support modern urban road safety analysis as

  • ETH Zurich | Switzerland | 2 months ago

    computational analysis. The position is ideal for a candidate who wants to combine hands-on human physiology, sleep research, mobile health methods and strong computational data analysis. Professional software

  • ETH Zurich | Switzerland | about 15 hours ago

    100%, Zurich, fixed-term The Neurotechnology Group of Prof. Mehmet Fatih Yanik at ETH Zurich is recruiting outstanding postdoctoral researchers and PhD students to join a newly funded LOOP Zurich

  • ETH Zurich | St Gallen, Kanton St Gallen | Switzerland | 3 months ago

    on the development of new diagnostic and prognostic methods (biosensors, biomarker analytics, artificial intelligence), which are expected to be validated via their integration in clinical workflows. The new professor

  • ETH Zurich | Z rich, Kanton Z rich | Switzerland | 3 months ago

    -crystalline materials may be produced using a wide range of synthetic approaches, including solid-state, flux, chemical vapor deposition, and thin-film growth methods. The materials scope could cover high

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