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

  • ETH Zurich | Switzerland | about 3 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 3 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 3 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 4 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

  • ETH Zurich | Switzerland | 2 days ago

    research assistant position in Development Economics. The starting date is the 1st of October for 6 months. This is a position to get some research experience between a Master’s degree and a PhD program. Job

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

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

    We look forward to receiving your application with the following documents as a single PDF: A cover letter indicating which track you are applying for (RL/Optimization, LLM/Knowledge or both) CV Publication list Contact details of two refereesPlease send your application to...

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