222 formal-verification-computer-science uni jobs in Switzerland

  • ETH Zurich | Switzerland | 3 months ago

    , computational genomics, or animal genomics. Experience with a programming language (e.g., python, R) and basic working knowledge with high-performance computing clusters is required. A MSc degree in genetics

  • diseases. To understand and promote the well-being of people in different cultural and environmental contexts, EPH applies various methods ranging from anthropology and social science to biostatistics and

  • ETH Zurich | Switzerland | 2 months ago

    hyperspectral data. Present research results to academic audiences, collaborators, and stakeholders. Profile PhD in Geomatics or a related field (e.g., Environmental Sciences, Civil Engineering), with

  • ETH Zurich | Switzerland | 22 days ago

    science, engineering, computer science, and medicine to find bold, creative solutions to real-world problems. Prof. Menon’s lab is located in the Balgrist Campus , designed to foster collaboration. Built in

  • ETH Zurich | Switzerland | 5 days ago

    on partly artificial nature-based materials. These ecosystem services models will be integrated into a design-science loop (Urech et al., 2020; Salliou et al., 2024 ) supported by a 3D point cloud-based tool

  • ETH Zurich | Switzerland | 29 days ago

    , Environmental and Geomatic Engineering has an opening for a student research assistant in our Sustainable Urban Transition Lab. Project background At the Sustainable Urban Transition Lab  at ETH Zurich, we

  • University of Basel | Switzerland | 3 months ago

    mentoring programme. Support the development and implementation of training and capacity building of relevant stakeholder groups. Engage with various stakeholders from the private and public sectors as

  • ETH Zurich | Switzerland | 2 days ago

    100%, Zurich, fixed-term ETH Zurich is one of the world’s leading universities that specialize in science and technology. It is renowned for its excellent education, its cutting-edge fundamental

  • ETH Zurich | Switzerland | about 1 month ago

    mathematics, computational sciences, or a related field. Additionally, you have prior programming experience and are fluent in English (oral and written). You show enthusiasm for conducting original research in

  • programmes funded by the Swiss National Science Foundation for up to 12 years, designed to achieve both scientific and societal impact. NCCR AntiResist (2020-2032) is a Swiss-wide interdisciplinary consortium

Enter an email to receive alerts for formal-verification-computer-science positions