125 software-formal-method-phd uni jobs at ETH Zurich

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

  • ETH Zurich | Switzerland | 2 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 | about 24 hours ago

    , and integrated analysis. The team runs an excellent open source based software environment and establishes state-of-the-art data analysis concepts and algorithms. Job description The bioinformatician

  • ETH Zurich | Switzerland | about 23 hours ago

    ) or neural network-based methods. The level of the targeted problems will  require further mathematical and algorithmic developments over the current state of data-driven SSM reduction. The PhD position will

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