217 software-formal-method-phd positions in Switzerland

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

  • CERN | Switzerland | 1 day 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 14 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 | 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 | about 14 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 | 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 14 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

  • Empa | Switzerland | about 8 hours ago

    . You will perform microstructural characterization of dry coated electrodes using physical and machine learning based methods and the electrochemical assessment of the electrodes in battery cells. Your

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

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