219 software-formal-method-phd positions in Switzerland

  • 30 groups, about 150 PhD students and over 500 employees, we are a lively and dynamic international community of researchers who investigate with curiosity biological phenomena ranging from

  • ETH Zurich | Switzerland | 3 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 8 hours ago

    100%, Zurich, fixed-term The Sensing, Interaction & Perception Lab  invites applications for a PhD position in Computational Interaction, focusing on sensor-based input detection for Augmented and

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

    of machine learning and optimization methods in manufacturing. We aim to create intelligent systems for process parameter selection, condition-based maintenance, and human-machine interaction. Job description

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

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

  • Empa | Switzerland | about 2 hours ago

    motivated Postdoctoral Researcher to join an applied research project focused on the development of AI/ML-based methods for the automation of laser processing techniques. In close collaboration with our

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