175 formal-verification-computer-science positions at ETH Zurich

  • ETH Zurich | Switzerland | 11 days ago

    specialising in science and technology. We are renowned for our excellent education, cutting-edge fundamental research and direct transfer of new knowledge into society. Over 30,000 people from more than 120

  • ETH Zurich | Switzerland | 3 months ago

    to automatically process user manuals or process videos and extract relevant information. Further research will focus on advanced computer vision algorithms for defect detection. The research projects are usually

  • ETH Zurich | Switzerland | about 1 month ago

    , microfluidics, patient samples, microscopy, in vivo models, genome engineering, single-cell analysis, and computational and molecular biology to elucidate the inner workings cancer cells and adult stem cells. Job

  • ETH Zurich | Switzerland | about 18 hours ago

    technologies promise to revolutionize multiple branches of science by solving problems that cannot be tackled by classical systems. While efficient and large-scale quantum computers are still far from being

  • ETH Zurich | Switzerland | about 18 hours ago

    engineering, computer science, data science, or a closely related discipline Have an excellent academic record Have strong analytical skills Be passionate about sustainability, energy, and public policy Be

  • ETH Zurich | Switzerland | about 18 hours ago

    have a master’s degree in atmospheric and/or climate sciences, geochemistry, environmental chemistry, physics, computational sciences or a closely related discipline with a strong interest in numerical

  • ETH Zurich | Switzerland | 22 days ago

    Successful candidates are expected to run a world-class research and teaching program that emphasizes industrial translation in the field of manufacturing. We seek outstanding scientists with

  • ETH Zurich | Switzerland | about 18 hours ago

    degree in the fields of transportation, civil engineering, computer science, urban analytics, spatial planning, geography, geoinformation, psychology or an equivalent qualification. Experience with first

  • ETH Zurich | Switzerland | about 18 hours ago

    , Environmental and Geomatic Engineering (D-BAUG), has an opening for a researcher focused on data and process analysis to enable digitalized railway operations. Project background Safe and efficient railway

  • ETH Zurich | Switzerland | 2 months ago

    . Profile Enrollment as a student at ETH Zurich or the University of Zurich in a relevant field, such as computer science, engineering, economics and mathematics Intermediate coding skills in R, Stata

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