105 proof-checking-postdoc-computerscience positions in Switzerland

  • ETH Zurich | Switzerland | about 16 hours ago

    group focus on algorithms and mathematical proofs, some on system design and building. As a new member of the group, you are supposed to contribute to research activities in the group and gradually build

  • ETH Zurich | Switzerland | 10 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 16 hours ago

    effects, improved sensory properties and sustainable use of raw materials. The project details are partially malleable to match the experience and interests of the candidates. In line with our values , ETH

  • ETH Zurich | Switzerland | about 1 month ago

    plan to demonstrate the results on custom-built real-world 3D printing setups available at IfA and inspire. For a large-scale proof of concept, we will implement the results on a testbed combining

  • University of Zurich | Switzerland | about 5 hours ago

    General conditions for salaries Salaries with be should correspond to the scales published by the SNSF. If using the SNSF scales is not possible due to specific salary scales and rules

  • ETH Zurich | Switzerland | about 16 hours ago

    the building and maintaining of a fit-for-purpose QMS aligned with MDR and FDA Class III device expectations Coordinate and track toxicology, verification & validation, and regulatory documentation Work closely

  • University of Zurich | Switzerland | about 2 months ago

    PageCounseling Individual counseling Coaching Conflict counseling Career Discussion Guidelines Postdocs and PhDs at UZH How to PhD Close Menu Funding back Overview PageFunding Mission GRC Grants back GRC Grants

  • platform. It should include: a motivation letter stating your research interests, fit to the profile and motivation for applying for the position (max. 1 pages); a short description of a research project you

  • ETH Zürich | Switzerland | 4 days ago

    identify characteristics and determine new descriptors. Their relevance for match analysis and tactical decision-making will be assessed in collaboration with professionals. Profile We are looking

  • ETH Zurich | Switzerland | 3 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

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