80 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Switzerland
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than
-
About the job The Institute of Molecular and Clinical Ophthalmology Basel (IOB) seeks a highly motivated PostDoc. IOB is a research institute combining basic and clinical research. Its mission is to
-
, implementation, and open-source release of the lab’s tools and artefacts Participate in the supervision of PhD and master students Profile PhD (or nearing completion of) in computer science or a closely related
-
-time (100%) postdoc position at the Laboratory for the Chemistry of Materials and Manufacturing (ALCHEMY) at EPFL Neuchatel. At EPFL ALCHEMY, we are focused on developing accessible chemistries and
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc position in 3D Computer Vision, remote sensing ... The Laboratory of Visual Intelligence
-
The Department of Biomedicine (DBM) integrates basic and clinical researchers from University of Basel and University Hospitals committed to deepen the understanding of health and disease while driving the development of innovative therapies that address unmet medical needs. With over 70...
-
Programme? Horizon Europe Is the Job related to staff position within a Research Infrastructure? No Offer Description Materials science and technology are our passion. With our cutting-edge research, Empa's
-
, writing manuscripts and presenting at scientific conferences Your profile Required qualifications include a PhD degree in computational biology or a related field. We are looking for a research-driven and
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than