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

  • ETH Zurich | Switzerland | about 16 hours ago

    on algorithms and mathematical proofs, and some on system design and building. Job description The Distributed Computing group at ETH Zurich is looking for a PhD candidate to work on the SNSF Ambizione 2023

  • ETH Zurich | Switzerland | 27 days ago

    . Profile Education: Master’s or PhD in Computer Science, Data Science, Software Engineering, or a related field. Experience: Proven track record in data engineering, software development, and integration

  • ETH Zurich | Switzerland | 2 months ago

    100%, Zurich, fixed-term Prof. Eva Heinen is seeking an ambitious PhD candidate to join her research group at the Institute for Transport Planning and Systems, Department of Transportation and

  • 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

    maintenance, development and implementation of new analytical methods and new data analysis strategies are part of the responsibilities, as is the participation in the training and teaching of graduate students

  • ETH Zurich | Switzerland | 22 days ago

    Engineering of ETH Zurich is a community of approximately 50 researchers from more than 20 countries working on the development of methods and computational tools for automation, exploring their potential

  • ETH Zurich | Switzerland | about 15 hours ago

    transformation in bacteria – an important mode of horizontal gene transfer. We use complementary approaches including cryo-EM, biophysical methods and in vivo functional assays to study the protein machineries

  • ETH Zurich | Switzerland | about 1 month ago

    biology, or applied mathematics Documented experience in C++ programming and solid software engineering fundamentals Familiarity with numerical methods for solving PDEs (e.g., finite difference, finite

  • ETH Zurich | Switzerland | 15 days ago

    novel method for autonomous design of 3D shapes fitting to the user body and optimizing the design to the desired assistance. Apart from actively shaping our group's research, the positions include

  • ETH Zurich | Switzerland | 2 months ago

    Zurich is a community of approximately 50 researchers from more than 20 countries working on the development of methods and computational tools for automation, exploring their potential for promoting our

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