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

  • ETH Zurich | Switzerland | 3 months ago

    the responsible recruiters and not by artificial intelligence. ETH Zurich is one of the world’s leading universities specialising in science and technology. We are renowned for our excellent education, cutting-edge

  • ETH Zurich | Switzerland | about 3 hours ago

    Theory, Queuing Theory, Age of Information), Network Calculus, Graph Theory, Convex and Non-convex Optimization, Approximation Algorithms. An excellent Master’s degree in Computer Science, Engineering

  • ETH Zurich | Switzerland | 2 months ago

    , Environmental sciences, or a closely related field. Proficiency in programming, particularly in Python, is essential. Knowledge of GIS (QGIS or ArcGIS). Experience working with spatial data, shapefiles, raster

  • We offer you We are a highly interdisciplinary, international, and divers team of scientists, committed to work at the frontier of science. Our team is very supportive and strong in communication

  • ETH Zurich | Switzerland | 3 months ago

    100%, Zurich, fixed-term In the newly established Brain-Body Regulation Lab at ETH Zurich (Department of Health Sciences and Technology), we focus on developing non-invasive (self-regulation

  • ETH Zurich | Switzerland | 3 months ago

    among research groups Establishing mechanisms to gather input, needs, and feedback from community members Managing the ETH Zurich side of the Joint Doctoral Program on Learning Sciences (JDPLS ), and

  • ETH Zurich | Switzerland | 2 months ago

    Computer Science, Artificial Intelligence, or related field. Proven experience in machine learning and neural network architectures. Strong programming skills in Python and familiarity with PyTorch. Experience with

  • ETH Zurich | Switzerland | 2 months ago

    most of the following: Bachelor's or (preferably) Master's degree in Computer Science, Engineering or a Social Science discipline combined with solid engineering skills 1–2 years of relevant work

  • 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

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