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

  • ETH Zurich | Switzerland | about 2 hours ago

    and refactoring source code for computational and data science applications both on the methodological and implementation side or deploying and integrating applications to adequate compute environments

  • ETH Zurich | Switzerland | about 2 hours ago

    100%, Zurich, fixed-term Applications are invited for a PhD position on Water Disinfection Chemistry in the Environmental Chemistry group at ETH Zurich. The project focuses on the recent discovery

  • ETH Zurich | Switzerland | about 1 month ago

    , Postdocs, Laboratory Assistants, and technical staff working closely with HR for administrative processes.  You may assist with administrative tasks for  teaching including help with scheduling, field

  • ETH Zurich | Switzerland | 20 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 | 17 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 | about 2 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 | 24 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 | 20 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 | about 1 month 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

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