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

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

    technologies and key expertise for omics research, the FGCZ provides research services and project support to the Zurich life science research community. Project background The FGCZ Proteomics Unit supports

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