213 software-formal-method-phd positions in Switzerland

  • ETH Zurich | Switzerland | about 13 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 13 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 13 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 | 11 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 13 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 | 29 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

  • Empa | Switzerland | about 2 hours ago

    . Empa is a research institution of the ETH Domain. The Urban Energy Systems Laboratory (UESL) pioneers strategies, solutions, and methods to support the development of sustainable, resilient, and

  • ETH Zurich | Switzerland | 3 days ago

    in collaboration with an industrial implementation partner, who will provide support with hardware and software integration. Job description The position entails duties in three axes: (1) research, (2

  • ETH Zurich | Switzerland | about 13 hours ago

    , help shape the Forest Studio software suite, and engage with a dynamic, interdisciplinary research team. We value creativity and welcome your own research ideas, encouraging the development

  • ETH Zurich | Switzerland | 2 months ago

    ) for engineering systems. Our research covers surrogate modeling, reliability analysis, sensitivity analysis, optimization under uncertainty, and Bayesian calibration. We are known for developing the UQLab software

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