162 software-formal-method-phd uni jobs in Switzerland

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

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

  • CERN | Switzerland | about 7 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 16 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 16 hours ago

    . Commercial solutions avoid entanglement-based methods due to technical challenges, yet this limits the impact such technologies can have. In this project, we aim at further developing photonic integrated

  • ETH Zurich | Switzerland | 2 months ago

    techniques (e.g., filter-based, morphological, and statistical methods) with machine learning approaches Collaborate with interdisciplinary teams, ensuring seamless integration of image analysis with

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