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

Filters Search
  • ETH Zurich | Switzerland | 26 days ago

    logging systems to ensure reproducibility, with Kubernetes experience being a beneficial skill. For R&D prototyping, you will evaluate emerging models and tools, quickly develop proofs of concept, and

  • ETH Zurich | Switzerland | 23 days ago

    science journey, from the collection and management of data to machine learning, AI, and industrialization. The Center comprises a multi-disciplinary team of data and computer scientists and experts in

  • ETH Zurich | Switzerland | 29 days ago

    hyperspectral data. Present research results to academic audiences, collaborators, and stakeholders. Profile PhD in Geomatics or a related field (e.g., Environmental Sciences, Civil Engineering), with

  • ETH Zurich | Switzerland | about 12 hours ago

    100%, Zurich, fixed-term The Astrophysical dust group at the ETH Zürich focuses on the science of cosmic dust nearby and inside the solar system and on the dust interaction with the solar wind

  • ETH Zurich | Switzerland | 26 days ago

    20%-30%, Zurich, fixed-term The GenAI-R&D for Future-Proof Teaching group at the ETH AI Center (Zürich-Oerlikon) builds fully open-source systems aimed at transforming the way students learn and

  • ETH Zurich | Switzerland | 2 months ago

    The Development Economics Group (ETH-DEC) at ETH Zurich is offering a PostDoc position in Development Economics: 60% own research & 40% research management (manage, support and contribute to ongoing

  • ETH Zurich | Switzerland | 3 days ago

    on algorithms and mathematical proofs, and some on system design and building. Job description The Distributed Computing group at ETH Zurich is looking for a PhD candidate to work on the SNSF Ambizione 2023

  • ETH Zurich | Switzerland | about 13 hours ago

    seek a dynamic and versatile intern with a mechanical engineering background and a hands-on attitude. The ideal candidate is keen to learn the intricacies of computational industrial robotics in a fast

  • ETH Zurich | Switzerland | 3 months ago

    100%, Zurich, fixed-term The Atmospheric Physics group at the Institute for Atmospheric and Climate Science (IAC), ETH Zurich invites applications for a PhD position (3 to 4 years) focused

  • ETH Zurich | Switzerland | 2 months ago

    100%, Zurich, fixed-term We are seeking a highly motivated and skilled Postdoctoral Fellow in Microneedle Engineering for Wearable Healthcare Devices to join our dynamic and interdisciplinary

Searches related to proof checking postdoc computer science logic

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