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

  • ETH Zurich | Switzerland | 2 days ago

    postdoc to join its research team studying the political economy of low-carbon technologies (LCTs) and climate policy. The PET group adopts an interdisciplinary, mixed-method approach grounded in political

  • ETH Zurich | Switzerland | 2 days ago

    . The selected candidate will hold the first artistic practice-based PhD position at ETH. The position assumes both practical and theoretical outcomes. The ideal candidate: Has a background in art, architecture

  • ETH Zurich | Switzerland | 2 days ago

    not have been awarded a title of PhD (Applicants who have successfully defended their doctoral thesis but not yet formally been awarded the doctoral degree will not be considered eligible.) Workplace

  • ETH Zurich | Switzerland | 2 days ago

    the world’s largest tropical wetland. To do so, we will sample greenhouse gases, peatland soils, and lake sediments, and we will analyze these using isotopes, biomarkers, and DNA-based methods. This PhD student

  • ETH Zurich | Switzerland | about 18 hours ago

    challenges. The work is conducted at the interface of mechanics, artificial intelligence, and computational science. The developed methods will be validated on benchmark problems and real-world data and

  • ETH Zurich | Switzerland | 2 months ago

    scientist holding a PhD in physics or astronomy, with a strong background in software development and machine-learning applications, demonstrated through contributions to open source projects and production

  • ETH Zurich | Switzerland | 2 days ago

    of machine learning, AI, and cancer genomics. Our lab develops novel machine learning methods to understand biological systems and cancer, with a strong focus on genomics and translational impact. We work in

  • ETH Zurich | Switzerland | 6 days ago

    -view images. Job description Develop and improve methods for 3D garment reconstruction from multi-view image data Research and implement techniques for appearance capture and material modeling, including

  • ETH Zurich | Switzerland | about 18 hours ago

    apply bioinformatics and statistical genomics approaches to characterize trait-associated sequence variation. We offer two PhD positions at the interface of computational and statistical genomics, and

  • ETH Zurich | Switzerland | about 18 hours ago

    the implementation of ecological processes, such as regeneration, mortality, and natural disturbance regimes, while ensuring rigorous testing, documentation, and integration within a collaborative software development

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