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

  • ETH Zurich | Switzerland | 1 day 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 | 24 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 | 1 day 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 13 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 | about 13 hours ago

    100%, Zurich, fixed-term The Computational Mechanics Group in the Department of Mechanical and Process Engineering of ETH Zurich is seeking one doctoral student. Project background The position is

  • ETH Zurich | Switzerland | about 12 hours 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 13 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 | 1 day 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 12 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 12 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

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