79 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Switzerland
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Position Description Postdoctoral Positions in Theoretical Quantum Matter and Quantum Information Science Swiss Federal Institute of Technology in Lausanne (EPFL) The group of Dr Kruchkov at EPFL
-
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
-
Please submit the following documents with your nomination: Application form with details of the nominees and the nominator A title (max. 150 characters) and a brief summary of the achievement (max. 400 characters) A description of the achievement and the main results (max. 4’000...
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
Materials science and technology are our passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living
-
23 Jul 2026 Job Information Organisation/Company ETH Zürich Research Field Engineering » Biomedical engineering Engineering » Chemical engineering Engineering » Materials engineering Neurosciences
-
, OSDI). We are looking for a candidate who is comfortable "looking under the hood" of the operating system. You do not need prior experience with optics. PhD/Masters in Computer Science, Electrical
-
expertise in computational toxicology, data science, artificial intelligence and data governance. Ideally, the candidate has experience in applied science or a keen interest in applying their experience
-
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
-
18 Sep 2026 Job Information Organisation/Company Empa Research Field Computer science » Other Engineering » Electrical engineering Engineering » Mechanical engineering Engineering » Other Technology