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

  • ETH Zurich | Switzerland | about 14 hours ago

    , stability upon desiccation and the ability to be transferred from one surface to another by touch. The use of DNA as a reporter molecule shall allow the use of the ultra-sensitive detection method

  • ETH Zurich | Switzerland | 14 days ago

    to conduct theoretical and experimental research in line with the TNU research agenda. In particular, the successful applicant is expected to focus on the development and validation of novel methods and

  • ETH Zurich | Switzerland | about 14 hours ago

    the Department of Biosystems Science and Engineering of the ETH Zurich and by the Roche Pharma Research and Early Development (pRED). The programme focuses on development of new tools and methods to resolve

  • ETH Zurich | Switzerland | about 2 months ago

    of fundamental and disease-focused areas. To advance these efforts, the Platt group  is recruiting a full-time (100%) Postdoctoral Associate to develop and apply computational methods for novel

  • ETH Zurich | Switzerland | about 14 hours ago

    . This position is intended for researchers who will complete their PhD by January 2026 or have completed their PhD within the last 2 years. Research in the Ethics, Technology and Society group is on the mutual

  • ETH Zurich | Switzerland | about 14 hours ago

    We are looking for a PhD Student in Macroeconomic Forecasting. The position is available immediately and should be filled no later than March 2026. KOF Swiss Economic Institute  at ETH Zurich is

  • ETH Zurich | Switzerland | about 1 month ago

    . Interpretation of earthquake catalogues. Participation in manual event review during active experiments. Profile PhD in seismology or a related field. Experience developing or applying methods for micro-earthquake

  • ETH Zurich | Switzerland | about 14 hours ago

    , comprising RDM experts, research software engineers, data scientists, etc. Profile This position requires PhD degree in data / computational science or related field such as physics, bioinformatics

  • ETH Zurich | Switzerland | about 14 hours ago

    , Kispi), and industry partners (e.g. TuneInsight). Ensure timely software releases and structured development cycles through clear testing, validation, and support processes. Manage and grow the BMIP user

  • ETH Zurich | Switzerland | 7 days ago

    details to the ERC Executive Agency’s (ERCEA) team for formal invitation and contracting. Interface with the ERCEA and ScC: Serve as the operational link between the Vice President and ERCEA colleagues

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