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

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

    equipment Develop computational and data analysis tools for bubble dynamics and ultrasound propagation Collaborate closely within our interdisciplinary team, which combines expertise in chemistry, mechanical

  • ETH Zurich | Switzerland | about 7 hours ago

    recruiters and not by artificial intelligence. About ETH Zürich ETH Zurich is one of the world’s leading universities specialising in science and technology. We are renowned for our excellent education

  • ETH Zurich | Switzerland | about 8 hours ago

    : program surveys in Qualtrics; create documentation such as questionnaires, codebooks and technical reports; support the teams with data analysis and reporting to third party stakeholders such as SBB or AMAG

  • ETH Zurich | Switzerland | about 6 hours ago

    . The research will contribute to the area of neural input systems. Candidates ideally have a background in Computer Science, Electrical Engineering, or Robotics and prior experience with event detection

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

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