823 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Category
-
Country
- United States
- Netherlands
- Sweden
- Germany
- United Kingdom
- France
- Poland
- Australia
- Denmark
- Ireland
- Austria
- China
- Saudi Arabia
- Spain
- Belgium
- United Arab Emirates
- Czech
- Portugal
- Switzerland
- Brazil
- Canada
- Croatia
- Luxembourg
- Morocco
- Norway
- Finland
- Greece
- Slovakia
- Europe
- Israel
- Latvia
- Mexico
- 22 more »
- « less
-
Employer
- Delft University of Technology (TU Delft)
- The Ohio State University
- Pennsylvania State University
- Chalmers University of Technology
- Carnegie Mellon University
- KTH Royal Institute of Technology
- Eindhoven University of Technology (TU/e)
- Aarhus University
- Oak Ridge National Laboratory
- University College Cork
- UNIVERSITY OF VIENNA
- National Energy Technology Laboratory (NETL)
- University of Oxford
- University of Washington
- Yale University
- King Abdullah University of Science and Technology
- Massachusetts Institute of Technology
- The University of Arizona
- University of Florida
- Argonne
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- SUNY University at Buffalo
- University of Sydney
- Rutgers University
- U.S. Department of Energy (DOE)
- University of Maryland, Baltimore
- AALTO UNIVERSITY
- Grenoble INP - Institute of Engineering
- UNIVERSITY OF SYDNEY
- University of Oregon
- FAPESP - São Paulo Research Foundation
- Ghent University
- Harvard University
- Institute of Physical Chemistry, Polish Academy of Sciences
- Lehigh University
- Maastricht University (UM)
- Nencki Institute of Experimental Biology
- New York University
- Princeton University
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- SciLifeLab
- St Jude Children's Research Hospital
- Texas A&m Engineering
- University of Amsterdam (UvA)
- University of Aveiro
- University of California
- University of North Carolina at Chapel Hill
- Utrecht University
- Zintellect
- EPFL
- HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES
- Heidelberg University
- Institute of Photonic Sciences
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Rochester Institute of Technology
- Swedish University of Agricultural Sciences
- Technical University of Munich
- The Swedish University of Agricultural Sciences
- University of Arkansas
- University of British Columbia
- University of California, Los Angeles
- University of California, Merced
- University of Nevada, Reno
- Wageningen University & Research
- Washington University in St. Louis
- Wayne State University
- Computer Vision Center
- DAAD
- Erasmus University Rotterdam
- Forschungszentrum Jülich
- Foundation for Research and Technology-Hellas
- Helmholtz Association of German Research Centres
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Inria, the French national research institute for the digital sciences
- Institute of Macromolecular Chemistry CAS
- Institute of Science and Technology Austria (ISTA)
- Kennesaw State University
- Lulea University of Technology
- Luxembourg Institute of Science and Technology
- Macquarie University
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Missouri University of Science and Technology
- Mälardalen University
- Southern University of Science and Technology
- Stony Brook University
- Sveučilište u Zagrebu, Filozofski fakultet
- Umeå University
- University of California Irvine
- University of Houston
- University of Hradec Kralove
- University of Idaho
- University of Illinois Chicago
- University of Miami
- University of Minnesota
- University of Nevada Las Vegas
- University of New South Wales
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Science
- Chemistry
- Economics
- Materials Science
- Mathematics
- Environment
- Electrical Engineering
- Earth Sciences
- Psychology
- Humanities
- Sports and Recreation
- Linguistics
- Philosophy
- Social Sciences
- Physics
- Arts and Literature
- Law
- Business
- Design
- Education
- 14 more »
- « less
-
activities and dissemination As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about working at Chalmers and our benefits for employees. A dynamic and inspiring
-
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
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
The Department of Biomedicine at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of spatial biology as per 1 October 2026 or as soon as possible
-
storage, shared mobility, logistics, and neighbourhood services. The postdoc will develop optimization methods for allocating scarce physical space and time slots among these competing functions across
-
of science; (b) develop novel metrics and algorithms for AI explainability; and (c) create a tight feedback loop where (a) and (b) can iteratively refine each other. As a postdoc, you will be based in the Data
-
The Department of Biomedicine at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of kidney receptor biology as per 1 November 2026 or as soon as
-
CeMM - Research Center for Molecular Medicine of the Austrian Academy of Sciences | Austria | 2 months ago
International Postdoc Program - PreERC Postdoc Program (m/f/d) CeMM - Research Center for Molecular Medicine of the Austrian Academy of Sciences Vienna, Austria € 5,014.30 per month gross We are recruiting a
-
Amsterdam gas station into a multifunctional mobility and energy hub combining fast-charging, energy storage, shared mobility, logistics, and neighbourhood services. The postdoc will develop optimization
-
to solve complex scientific challenges? Do you thrive in an R&D environment where your ideas and the software you write directly impact cutting-edge research? We are seeking postdocs as an HPC