318 proof-checking-postdoc-computer-science-logic positions in Switzerland

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

  • Empa | Switzerland | about 13 hours ago

    Materials science and technology are our passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living

  • ETH Zurich | Switzerland | 10 days ago

    to us how we can extend our offer with your expertise. Profile We’re looking for someone who brings both technical skill and a passion for mentoring: You have done an apprenticeship as a metalworker

  • ETH Zurich | Switzerland | about 8 hours ago

    100%, Zurich, fixed-term We invite applications for a fully funded PhD position in the Zindel Lab (Department of Biology, ETH Zurich), in close collaboration with the Tibbitt Lab (Department

  • ETH Zurich | Switzerland | 2 months 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 | 10 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 | 10 days ago

    the Forest and Landscape Management program.

  • ETH Zurich | Switzerland | 28 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

  • ETH Zurich | Switzerland | 29 days ago

    more comprehensible for you. The Research Analytics Services group, hosted by the section Research Support Services and Acquisitions, is hiring a specialist in library and information science as team

  • ETH Zurich | Switzerland | about 2 months 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

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