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

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

  • ETH Zurich | Switzerland | about 6 hours ago

    100%, Zurich, fixed-term Our research group in the field of Digital Biomarker research (Health Informatics) is looking for a new PhD student starting as soon as possible. The position is based in

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

     have a strong background in quantitative methods and are excited to code. You are interested in topics of global poverty and inequality. You have a good knowledge of the statistical software R and/or

  • ETH Zurich | Switzerland | about 6 hours ago

    ). The Bokulich laboratory develops bioinformatics methods and software for microbiome research, including QIIME 2, and applies these tools to study microbiomes at the interfaces of foods and human health. Job

  • ETH Zurich | Switzerland | 28 days ago

    to gain a deeper understanding of how these methods are applied across different domains, as well as the skills needed for interdisciplinary research. If you are proficient in Python and software

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