1,338 proof-checking-postdoc-computer-science-logic Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Netherlands
- Sweden
- United Kingdom
- United Arab Emirates
- France
- Germany
- 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
- University of Washington
- Eindhoven University of Technology (TU/e)
- FAPESP - São Paulo Research Foundation
- University College Cork
- Oak Ridge National Laboratory
- Harvard University
- THE UNIVERSITY OF HONG KONG
- University of Maryland, Baltimore
- Aarhus University
- UNIVERSITY OF VIENNA
- CNRS
- The University of Arizona
- University of Florida
- Iowa State University
- Villanova University
- Argonne
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- St Jude Children's Research Hospital
- U.S. Department of Energy (DOE)
- Inria, the French national research institute for the digital sciences
- 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
- Texas A&m Engineering
- University of British Columbia
- University of California
- University of Luxembourg
- University of North Texas at Dallas
- University of Oxford;
- DAAD
- Indiana 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)
- University of Amsterdam (UvA)
- University of Aveiro
- University of Delaware
- University of North Carolina at Chapel Hill
- 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
- Linguistics
- Philosophy
- Arts and Literature
- Humanities
- Education
- Social Sciences
- Physics
- Sports and Recreation
- Business
- Design
- Law
- 14 more »
- « less
-
Computing and Mathematical Sciences Division - Postdoctoral Researcher: CryoSTEM Foundation Models Mohamed bin Zayed University of Artificial Intelligence Location Abu Dhabi, UAE Open Date Jul 14
-
Position Description HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES (HIMIS) invites applications for postdoc positions from accomplished scholars in all fields of mathematics
-
Offer Description Job ID: IFI097PD226 The Austrian Academy of Sciences (OeAW), Austria’s leading non-university research and science institution, is offering a Position as Postdoc (f/m/x) Iranian Jewish
-
29 Jul 2026 Job Information Organisation/Company Computer Vision Center Research Field Computer science » Other Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application
-
of Sydney, established in 1946, offered the first university-level chemical engineering program in Australia. The School is committed to teaching excellence and our graduates are highly regarded and sought
-
that favour subsequent copper-induced embrittlement. Team Dey within the Computational Materials Science section at TU Delft is actively engaged in developing fundamental understanding for next
-
accordance with the will of William Chalmers and his motto: Avancez! Where to apply Website https://academicpositions.com/ad/chalmers-university-of-technology/2026/postdoc… Requirements Research
-
9 Jul 2026 Job Information Organisation/Company Chalmers University of Technology Research Field Computer science » Other Engineering » Control engineering Engineering » Industrial engineering
-
by information and communication technology which could lead 20% of global energy production to be consumed by the adoption of artificial intelligence. Therefore, “unconventional” computing
-
required to have strong chemistry background with experiences in wet-lab experiments. Job Description Primary Duties & Responsibilities: Information on being a postdoc at WashU in St. Louis can be found