1,322 proof-checking-postdoc-computer-science-logic Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Category
-
Country
- United States
- Netherlands
- Sweden
- United Kingdom
- United Arab Emirates
- Germany
- France
- Poland
- Spain
- Saudi Arabia
- Ireland
- Australia
- Denmark
- Brazil
- Belgium
- China
- Austria
- Hong Kong
- Singapore
- Canada
- Czech
- Switzerland
- Morocco
- Japan
- Portugal
- Finland
- Italy
- Croatia
- Luxembourg
- Israel
- Norway
- Greece
- India
- Slovakia
- Afghanistan
- Europe
- Hungary
- Latvia
- Mexico
- South Africa
- Taiwan
- 31 more »
- « less
-
Employer
- Delft University of Technology (TU Delft)
- NEW YORK UNIVERSITY ABU DHABI
- The Ohio State University
- Pennsylvania State University
- University of Oxford
- King Abdullah University of Science and Technology
- Chalmers University of Technology
- Massachusetts Institute of Technology
- Cornell University
- National Energy Technology Laboratory (NETL)
- Carnegie Mellon University
- Institute of Photonic Sciences
- KTH Royal Institute of Technology
- Yale University
- Eindhoven University of Technology (TU/e)
- University of Washington
- FAPESP - São Paulo Research Foundation
- University College Cork
- Oak Ridge National Laboratory
- Aarhus University
- Harvard University
- University of Maryland, Baltimore
- THE UNIVERSITY OF HONG KONG
- UNIVERSITY OF VIENNA
- CNRS
- University of Florida
- Iowa State University
- The University of Arizona
- Villanova University
- Argonne
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- St Jude Children's Research Hospital
- U.S. Department of Energy (DOE)
- SUNY University at Buffalo
- Singapore-MIT Alliance for Research and Technology
- Technical University of Munich
- University of Miami
- University of Sydney
- Ghent University
- Northeastern University
- Rutgers University
- University of California, Merced
- AALTO UNIVERSITY
- Massachusetts Institute of Technology (MIT)
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- SciLifeLab
- Swedish University of Agricultural Sciences
- UNIVERSITY OF SYDNEY
- University of Lund
- University of Oregon
- Baylor College of Medicine
- EPFL
- Grenoble INP - Institute of Engineering
- McGill University
- Missouri University of Science and Technology
- University of British Columbia
- University of Luxembourg
- University of North Texas at Dallas
- DAAD
- Indiana University
- Inria, the French national research institute for the digital sciences
- 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)
- Texas A&m Engineering
- University of Amsterdam (UvA)
- University of Aveiro
- University of California
- University of Delaware
- University of North Carolina at Chapel Hill
- University of Oxford;
- Utrecht University
- Zintellect
- California Institute of Technology
- DURHAM UNIVERSITY
- HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES
- Heidelberg University
- Helmholtz Association of German Research Centres
- ICN2
- Karolinska Institutet (KI)
- Maynooth University
- National Aeronautics and Space Administration (NASA)
- Rochester Institute of Technology
- The Swedish University of Agricultural Sciences
- University of Arkansas
- University of California, Los Angeles
- University of Cambridge;
- University of Kansas Medical Center
- University of Liverpool
- University of Nevada, Reno
- VIB
- Wageningen University & Research
- Washington University in St. Louis
- Wayne State University
- ADELAIDE UNIVERSITY
- Blekinge Institute of Technology
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Science
- Medical Sciences
- Chemistry
- Economics
- Materials Science
- Mathematics
- Environment
- Electrical Engineering
- Psychology
- Earth Sciences
- Arts and Literature
- Humanities
- Linguistics
- Education
- Philosophy
- Social Sciences
- Physics
- Sports and Recreation
- Business
- Design
- Law
- 14 more »
- « less
-
projects with other group members and our experimental colleagues. A desire to develop the direction of your project is very welcome! Job requirements Masters in Physics, Computer Science, Nanobiology
-
comes with no teaching obligations, but postdocs at ISTA have the possibility to teach a topics course on any subject of their choosing. Evaluation of candidates will begin on October 16 2026, but this is
-
Helmholtz Association of German Research Centres | Oldenburg Oldenburg, Niedersachsen | Germany | 3 months ago
Area of research: Scientific / postdoctoral posts Job description: Postdoc in "Science Narratives" (m/d/f/x) (HIPP 27.5) BackgroundHIPP is the HIFMB Integrative Postdoc Pool and publishes a thematic
-
22 Aug 2026 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Geosciences » Geology Researcher Profile Recognised Researcher (R2) Application Deadline 30
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Dresden, Sachsen | Germany | 2 months ago
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Area of research: Scientific / postdoctoral posts Starting date: 01.11.2026
-
Engineering Energy Conversion Engineering Computational Science and Engineering Materials Engineering and Manufacturing Geological and Environmental Systems Program Execution and Integration To learn more about
-
of natural language processing, machine learning, artificial intelligence, and human-computer interaction. Established within the School of Computer Science, LTI pioneers innovative approaches to understanding
-
We are looking for a postdoc in mathematics with focus on educational science. More details on the project follows below. About us The Department of Mathematical Sciences at the Chalmers University
-
-leading research in several fields. Notably, the groundbreaking discovery of the CRISPR-Cas9 gene-editing tool, which was awarded the Nobel Prize in Chemistry, was made here. At Umeå University, everything
-
this position will be to do excellent research at the borderland of behavioral, social, and computer science, both in collaboration with the Aalto team and within your existing professional network. We aim