172 formal-verification-computer-science positions at ETH Zurich

  • ETH Zurich | Switzerland | about 15 hours ago

    or equivalent qualification and is expected to establish an internationally recognized research program in the field of physical inorganic chemistry. Research methodologies may include, but are not

  • ETH Zurich | Switzerland | 20 days ago

    20%-30%, Zurich, fixed-term We are seeking a motivated and detail-oriented student assistant to support the preparation of teaching materials for a graduate-level economics course. This position is

  • ETH Zurich | Switzerland | about 2 hours ago

    support productivity workflows, guided by emerging large language models. Candidates ideally have a background in Computer Science and prior experience with human-computer interaction (e.g., through courses

  • ETH Zurich | Switzerland | 42 minutes ago

    and refactoring source code for computational and data science applications both on the methodological and implementation side or deploying and integrating applications to adequate compute environments

  • ETH Zurich | Switzerland | about 1 hour ago

    . The research will contribute to the area of neural input systems and will be related to brain-computer interaction. Candidates ideally have a background in Computer Science, Electrical Engineering, or Robotics

  • ETH Zurich | Switzerland | about 2 hours ago

    leading universities specialising in science and technology. We are renowned for our excellent education, cutting-edge fundamental research and direct transfer of new knowledge into society. Over 30,000

  • ETH Zurich | Switzerland | about 1 hour ago

    seek a dynamic and versatile intern with a mechanical engineering background and a hands-on attitude. The ideal candidate is keen to learn the intricacies of computational industrial robotics in a fast

  • ETH Zurich | Switzerland | about 2 hours ago

    well as computational analysis (bioinformatics, data handling and AI-supported analysis and engineering). The work is embedded in a network of groups in Xenobiology located in France, Germany, and Belgium. Applications

  • ETH Zurich | Switzerland | about 2 hours ago

    applicants). Experience in complementary fields such as computational modelling, bioelectronics, or materials engineering is advantageous, as is a willingness to acquire new interdisciplinary skills

  • ETH Zurich | Switzerland | about 2 hours ago

    for cancer, as well as metabolic, neurodegenerative, autoimmune, and infectious diseases. Job description PhD and postdoctoral projects will combine catalyst engineering, computational simulation, bioelectrode

Enter an email to receive alerts for formal-verification-computer-science positions