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

  • ETH Zurich | Switzerland | 3 days ago

    , control engineering, and immunoengineering. This position is part of our newly funded ERC Advanced Grant, which aims to develop genetically engineered feedback control circuits in human T cells to tackle

  • ETH Zurich | Switzerland | 2 months ago

    at ETH Zurich and associated with the ETH AI Center. We are an interdisciplinary group at the intersection of chemistry and computer science. Our mission is to accelerate chemical discovery using digital

  • ETH Zurich | Switzerland | about 1 month ago

    , electrical engineering and computer science to design highly efficient and sensitive imaging and inference approaches to help guide diagnosis and treatment in cardiovascular patients. Project background Our

  • Nature Careers | Lausanne, Canton de Vaud | Switzerland | about 1 hour ago

    encourages excellence, individual recognition and responsibility. T he Faculty of Biology and Medicine ( FBM ) of the University of Lausanne is inviting applications for position of: Tenure-track Assistant

  • ETH Zurich | Switzerland | 8 days ago

    afterwards. You will work closely with our research team to implement a new version of our RAG-based chatbot. Profile The ideal candidate will be a computer or data science student, or a student with extensive

  • ETH Zurich | Switzerland | about 1 month ago

    scientific and engineering computing, and explores commercial pathways for software innovations. If you are looking for a role that blends technical excellence, leadership, and business strategy, we would like

  • ETH Zurich | Switzerland | 8 days ago

    Required experience: CH/EU/EFTA citizenship or a valid work permit for Switzerland A Master’s degree (ETH, university) in engineering, computer science, or a related field Strong academic performance meeting

  • ETH Zurich | Switzerland | 2 months ago

    Emulators of Stochastic computational models"), funded by the Swiss National Science Foundation (SNSF). The project aims to significantly advance the state-of-the-art in uncertainty quantification (UQ) by

  • ETH Zurich | Switzerland | 18 days ago

    The PhD position is part of an interdisciplinary research project at the intersection of robotics and biomedical engineering, conducted in close collaboration with neurosurgeons from the University

  • ETH Zurich | Switzerland | about 1 month ago

    interdisciplinary expertise in bioethics, philosophy, social science, medicine, public health, data science, policy and law. We pursue high-level scholarship, participate in international research and policy networks

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