123 software-formal-method-phd positions at ETH Zurich in Switzerland

  • ETH Zurich | Switzerland | 2 days 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 17 hours ago

    100%, Zurich, fixed-term We have an open PhD position in Human-Computer Interaction with a focus on intelligent and adaptive systems for Augmented Reality, Mixed Reality, and Extended Reality

  • ETH Zurich | Switzerland | 3 days 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 | 3 days 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

  • ETH Zurich | Switzerland | about 17 hours ago

    associated to a project on phase-field modeling of fracture. The PhD project aims at developing cutting edge models for the fracture behavior of quasi-brittle materials, relevant for a real application of

  • ETH Zurich | Switzerland | about 17 hours ago

    , which you will co-develop with the help of a software engineer. In close collaboration with the architects in the frame of several Design Research Studios, you will apply the tool to co-create new urban

  • ETH Zurich | Switzerland | about 17 hours ago

    at the Department of Biosystems Science and Engineering (D-BSSE) of ETH Zurich in Basel invites exceptional candidates to apply for PhD and Postdoc positions in pioneering projects at the intersection of synthetic

  • ETH Zurich | Switzerland | about 17 hours ago

    of the SPUR group through a variety of activities, including: Conducting structured literature reviews; Collecting and analysing empirical data, using quantitative methods (e.g., surveys) and/or qualitative

  • ETH Zurich | Switzerland | 5 days 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 | 2 days ago

    system design. We employ advanced computational methods, machine learning, modeling, and custom hardware and software to continually test our solutions in various real-world industry projects. In one

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