222 proof-checking-postdoc-computer-science-logic uni jobs in Switzerland

  • ETH Zurich | Switzerland | about 9 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 2 months 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 | about 2 months 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 10 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 | 4 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 2 months 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 | about 11 hours ago

    support productivity workflows, guided by emerging large language models. Candidates ideally have a background in Computer Science and prior experience with human-computer interaction (e.g., through courses

  • doctoral program within the Graduate School of Medical & Health Sciences (GSMHS), the DBE has grown successfully within a short period of time. Your position Developing a proposal for the structure and

  • ETH Zurich | Switzerland | 4 days 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 | about 11 hours ago

    100%, Zurich, fixed-term The Computational Mechanics Group in the Department of Mechanical and Process Engineering of ETH Zurich is seeking one doctoral student. Project background The position is

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