303 proof-checking-postdoc-computer-science-logic positions in Switzerland

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

  • University of Zurich | Switzerland | about 19 hours ago

    DIZH understands innovation very broadly and includes all disciplines: artistic, design, natural science, technology, humanities, education and social science.

  • ETH Zurich | Switzerland | 29 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 1 month 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 13 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 | about 1 month 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 13 hours ago

    to the area of neural input systems and will be related to brain-computer interaction. Candidates ideally have a background in Computer Science, Electrical Engineering, or Robotics and prior experience with

  • 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 13 hours 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 | 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

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