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

  • ETH Zurich | Switzerland | about 1 month 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 | 19 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 | 2 days 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 | 3 days 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 | 1 day ago

    100%, Zurich, fixed-term The Laboratory of Energy Science and Engineering is looking for a candidate to fill a PhD position to develop catalysts for the conversion of CO2 into higher alcohols

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

  • ETH Zurich | Switzerland | 3 months ago

    ) methods to modulate brain function during wake and sleep and on understanding how the brain interacts with other bodily functions. The majority of our studies are conducted in healthy volunteers; however

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

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