129 software-formal-method-phd positions at ETH Zurich

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

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

  • ETH Zurich | Switzerland | about 2 hours ago

    100%, Zurich, fixed-term The Optical Nanomaterial Group in the Physics Department at ETH Zurich is looking for a PhD student in quantum metamaterials. Optical metamaterials are a rapidly maturing

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