218 software-formal-method-phd positions in Switzerland

  • ETH Zurich | Switzerland | 1 day ago

    Zurich is a community of approximately 50 researchers from more than 20 countries working on the development of methods and computational tools for automation, exploring their potential for promoting our

  • ETH Zurich | Switzerland | 1 day ago

    at the Department of Biosystems Science and Engineering (D-BSSE) of ETH Zurich in Basel invites exceptional candidates to apply for PhD and Postdoc positions in pioneering projects at the intersection of synthetic

  • notebooks and electronic files Your profile PhD degree in physics with solid knowledge of condensed matter physics, quantum mechanics, and magnetism Expertise in X-ray based magnetic imaging or scanning probe

  • ETH Zurich | Switzerland | 1 day ago

    of the SPUR group through a variety of activities, including: Conducting structured literature reviews; Collecting and analysing empirical data, using quantitative methods (e.g., surveys) and/or qualitative

  • ETH Zurich | Switzerland | 1 day ago

    system design. We employ advanced computational methods, machine learning, modeling, and custom hardware and software to continually test our solutions in various real-world industry projects. In one

  • ETH Zurich | Switzerland | 1 day ago

    biology, or applied mathematics Documented experience in C++ programming and solid software engineering fundamentals Familiarity with numerical methods for solving PDEs (e.g., finite difference, finite

  • ETH Zurich | Switzerland | 1 day ago

    100%, Zurich, fixed-term Our research group in the field of Digital Biomarker research (Health Informatics) is looking for a new PhD student starting as soon as possible. The position is based in

  • ETH Zurich | Switzerland | 18 days ago

     have a strong background in quantitative methods and are excited to code. You are interested in topics of global poverty and inequality. You have a good knowledge of the statistical software R and/or

  • ETH Zurich | Switzerland | 1 day ago

    For this research, we are looking for applicants with backgrounds in geochemistry and electrochemistry, or closely related fields, to fill two PhD positions with respective foci on: (1) reactivity

  • ETH Zurich | Switzerland | 7 days ago

    ). The Bokulich laboratory develops bioinformatics methods and software for microbiome research, including QIIME 2, and applies these tools to study microbiomes at the interfaces of foods and human health. Job

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