223 software-formal-method-phd positions in Switzerland

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

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

    80%-100%, Zurich, fixed-term The Chair of Sustainable Construction at ETH Zurich invites applications for a 4-year PhD position within the SNF-funded National Research Programme NRP81 project

  • ETH Zurich | Switzerland | about 23 hours 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 22 hours ago

    Perform model calibration, parameter screening, and validation Compare simulations to experimental data and prepare high-quality visualizations Profile We welcome applications from candidates with: A PhD in

  • ETH Zurich | Switzerland | about 23 hours ago

    100%, Basel, fixed-term The Bio Engineering Laboratory at the Departement of Biosystems of ETH Zurich in Basel is inviting applications for a PhD position in in Engineering of Microfluidic in-vitro

  • ETH Zurich | Switzerland | about 23 hours ago

    tools and insights for the optimal design of policies that affect electric vehicle (EV) charging and the electricity system. The PhD student will contribute to the development of exciting new methods

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

  • ETH Zurich | Switzerland | about 23 hours ago

    , documentation, and experimental implementation Profile PhD in Mechatronics, Robotics, Electronics, or related engineering areas Proficiency in mechanical design, embedded systems, and hardware-software

  • ETH Zurich | Switzerland | about 23 hours ago

    research and its efforts to put new knowledge and innovations directly into practice.  Scientific Software and Data Management (SSDM), part of Scientific IT Services (SIS) within central IT, develops

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