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

  • ETH Zurich | Switzerland | about 15 hours 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 15 hours ago

    the Forest and Landscape Management program.

  • ETH Zurich | Switzerland | 11 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 | 25 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 15 hours 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 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 | about 1 month 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 | 10 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 | 3 months ago

    100%, Zurich, fixed-term Design++  is the Center for Augmented Computational Design in Architecture, Engineering and Construction (AEC) at ETH Zurich. The center's vision is to remove collaboration

  • ETH Zurich | Switzerland | about 2 months ago

    biomarkers that indicate the clinical traits associated with lactose malabsorption (LM) (Lactobreath profiles), serving as proof of concept for the future application of this technology in diagnosing food

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