36 proof-checking-postdoc-computerscience positions at ETH Zurich

  • ETH Zurich | Switzerland | 3 days ago

    ETH Zurich, Institute for Mathematical Research Position ID: 2549-HWI [#27223] Position Title: Position Type: Postdoctoral Position Location: Zurich, Zurich 8092, Switzerland [map ] Subject Area: All areas of mathematics Starting Date: 2026/09/01 Appl Deadline: 2025/11/02 03:59 AM...

  • ETH Zurich | Switzerland | about 16 hours ago

    postdoc to join its research team studying the political economy of low-carbon technologies (LCTs) and climate policy. The PET group adopts an interdisciplinary, mixed-method approach grounded in political

  • ETH Zurich | Switzerland | 4 days ago

    , chemists, materials scientists, and electrical engineers focusing on physics and chemistry of soft electronic materials for new optoelectronic devices and integrated systems. We aim to hire 1 – 2 postdoc

  • ETH Zurich | Switzerland | about 16 hours ago

    for a reliable, enthusiastic, and highly motivated postdoc with a passion for science to join our team in Zurich. Our research focuses on process- and system-understanding of the biosphere-atmosphere

  • ETH Zurich | Switzerland | about 16 hours ago

    following documents: Motivation letter (max. 2 pages) Curriculum Vitae (CV) Academic transcripts and diplomas (Bachelor and Master) Master thesis and/or proof of thesis grade (e.g., grading confirmation

  • ETH Zurich | Switzerland | about 16 hours ago

    Preparation of scientific manuscripts and contribution to research proposals The postdoc will work closely with Prof. Anthony Straub to carry out these responsibilities. Opportunities exist to interface with

  • ETH Zurich | Switzerland | about 2 months ago

    , or interpretability are relevant LLM adaptive evaluation and post-training, with clean mathematical proofs for proof-of-concept

  • ETH Zurich | Switzerland | 4 days ago

    a postdoc in this project, you will: Establish and characterize human neuron-tumor co-cultures using iPSC-derived neurons and patient-derived GB models on HD-MEAs Perform longitudinal

  • ETH Zurich | Switzerland | 2 months ago

    environment. The Postdoctoral Fellowship Program, made possible via our Strategic Partnership with Halter Group AG , funds a two-year postdoc position annually over 5 years. The goal is to advance computational

  • ETH Zurich | Switzerland | about 16 hours ago

    100%, Basel, fixed-term The highly competitive Bio-Engineering Systems for Therapeutics (BEST) postdoc program, part of the Next-gen Bioengineers initiative, is run jointly by ETH Zurich and Roche

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions