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

  • ETH Zurich | Switzerland | 28 days ago

    insights into diverse methods and approaches. The PhD position provides access to state-of-the-art computational power enabling impactful research. The position supports the development of critical thinking

  • ETH Zurich | Switzerland | 2 days ago

    on algorithms and mathematical proofs, and some on system design and building. Job description The Distributed Computing group at ETH Zurich is looking for a PhD candidate to work on the SNSF Ambizione 2023

  • ETH Zurich | Switzerland | about 1 month ago

    novel method for autonomous design of 3D shapes fitting to the user body and optimizing the design to the desired assistance. Apart from actively shaping our group's research, the positions include

  • ETH Zurich | Switzerland | 2 days ago

    computational methods, artificial intelligence (AI), and extended reality (XR). Design++ fosters cross-departmental research, education, and industry collaboration to drive transformative change in the built

  • ETH Zurich | Switzerland | 23 days ago

    transformation in bacteria – an important mode of horizontal gene transfer. We use complementary approaches including cryo-EM, biophysical methods and in vivo functional assays to study the protein machineries

  • ETH Zurich | Switzerland | 2 months ago

    Perform model calibration, parameter screening, and validation Compare simulations to experimental data and prepare high-quality visualizations Profile We welcome applications from candidates with: A PhD in

  • ETH Zurich | Switzerland | about 21 hours ago

    . Prepare proposals, publications, and conference abstracts, including a PhD proposal.l Supervise students at bachelor’s and master’s leve Profile Required experience CH/EU/EFTA citizenship or a valid work

  • ETH Zurich | Switzerland | 30 days ago

    experimental and simulated data, leveraging AI and machine learning techniques Contribute to novel computational optimisation methods for machining processes Develop and implement automation solutions, including

  • ETH Zurich | Switzerland | 17 days ago

    Dynamics group, where 2 PhD students work on developing lipid biomarkers for soil fertility. Propose your own research approaches to answer previously outlined research questions. Methods used in the group

  • ETH Zurich | Switzerland | 2 days ago

    thermal evaporation, magnetron sputtering, spin-coating, photolithography, and plasma etching. Advanced optical and electronic methods will be used for device characterization. In line with our values , ETH

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