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

  • University of Basel | Switzerland | about 9 hours ago

    The Biozentrum of the University of Basel is one of the leading life sciences institutes in the world. It consists of 32 groups and 500 employees that research how molecules and cells create life

  • ETH Zurich | Switzerland | 2 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 | about 1 month 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 | about 2 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 | about 9 hours 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 | 2 months ago

    written and oral. Experience with computational tools commonly used in scientific research (e.g., MATLAB, Python, or similar). Above all, a genuine enthusiasm for science and discovery, particularly in

  • ETH Zurich | Switzerland | 2 months ago

    . Profile The ideal candidate will be a computer science student or a student with extensive practical programming experience. Interest in the social sciences and law is a big advantage. Workplace Workplace

  • ETH Zurich | Switzerland | 3 months ago

    The Professorship of International Relations and Data Science is currently seeking a postdoctoral researcher for a two-year position (100%). The position is based at ETH Zurich and is supervised by

  • ETH Zurich | Switzerland | about 9 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 | about 1 month 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

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