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

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

  • 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 14 hours ago

    existing methods, our technique aims to use laser energies that are safe for biological tissues, ensuring both efficacy and safety. To achieve these goals, two PhD projects have been designed. One of them

  • ETH Zurich | Switzerland | about 14 hours ago

    high-pressure and high temperature experimental (laser-heated and externally-heated diamond anvil cell, large volume press, and piston-cylinder apparatus) methods, eager to contribute to cutting-edge

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