176 proof-checking-postdoc-computer-science-logic positions at ETH Zurich

  • ETH Zurich | Switzerland | about 1 month ago

    position requiring high manual dexterity and technical versatility. You will be expected to switch frequently between diverse tasks such as computational modeling, computer-aided design, manual and CNC

  • ETH Zurich | Switzerland | about 23 hours 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 | 6 days ago

    100%, Basel, fixed-term ETH Zurich is a world-leading university dedicated to advancing science and technology. The advertised position is based in the Computational Biology (CoBi) group led by Prof

  • ETH Zurich | Switzerland | 25 days ago

    the data and AIXD results Carry out standard tasks of debugging and documentation of the AIXD toolbox Profile You are a developer with a BSc or MSc in Computer Science or related fields, with proven

  • ETH Zurich | Switzerland | 2 days ago

    Zurich and the University of Zurich that applies the latest omics technologies for biomolecular research and personalized medicine. The FGCZ Genome Informatics group supports researchers with the analysis

  • ETH Zurich | Switzerland | about 1 month ago

    DSL. Additionally, you will work on integrating the existing model with the new DSL-based components to ensure the system is production-ready. Profile MSc in Software Engineering, Computer Science

  • ETH Zurich | Switzerland | 12 days ago

    Engineering Group, please visit our website . Questions regarding the position should be directed to Patrick Alberto Rühs (patrick.ruehs@hest.ethz.ch)  (no applications). We would like to emphasize that the pre

  • ETH Zurich | Switzerland | about 21 hours ago

    100%, Zurich, fixed-term The research group of Prof. Müller, Laboratory of Energy Science and Engineering at ETH Zürich  is looking for a highly motivated candidate with a strong expertise and

  • ETH Zurich | Switzerland | about 23 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 | 4 days ago

    . Most importantly, we are looking for a person who is flexible, communicates well and interested in and able to aquire new skills. Profile Required Skills A degree in computer science, mathematics

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions