218 software-formal-method-phd positions in Switzerland

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

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

  • ETH Zurich | Switzerland | about 17 hours ago

    , Environmental, and Geomatic Engineering, has an opening for a PhD student in model-based planning support for transport and urban systems under uncertainty. Planning transport and urban systems is inherently

  • University of Basel | Switzerland | 3 months ago

    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 | about 17 hours ago

    of SIS (e.g., HPC systems engineers, data scientists, research software developers) and external collaborators. Profile a PhD or equivalent in Computational or Computer Science, Engineering, Physics, or a

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

  • CERN | Switzerland | about 18 hours ago

    analysis of data. Qualifications PhD or equivalent relevant experience in the field of PhD in the field of physics, or equivalent or a related field. Experience: This vacancy notice is addressed

  • ETH Zurich | Switzerland | about 17 hours ago

     plasma. The main methods used are computer simulations for studying dust dynamics and analysing in situ measurements by spacecraft that carry a dust detector on board. We collaborate with researchers in

  • ETH Zurich | Switzerland | about 17 hours ago

    80%-100%, Zurich, fixed-term We are seeking a skilled Software Systems Engineer to join the HIRAX team at ETH Zurich for a fixed-term position. The successful candidate will play a pivotal role in

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