1,326 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
- 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
- Chemistry
- Medical Sciences
- 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
-
About us The researcher will join the Human-Centred Computing (HCC) group at King’s at the Department of Informatics, which provides a supportive and collaborative environment and an exciting mix
-
or Postdoctoral Scholar: • PhD in Computer Science or related field. All offers of employment are contingent upon successful completion of a background check. The University of Oregon is proud to offer a robust
-
computing Scientific proposal writing experience. Position Sponsorship Eligibility: May be eligible for work visa sponsorship About Department - Civil and Environmental Engineering | Washington State
-
Fixed term contract | Hautscharage | 9 Months Are you passionate about research? So are we! Come and join us The Luxembourg Institute of Science and Technology (LIST) is a Research and Technology
-
7 Aug 2026 Job Information Organisation/Company Technological University Dublin Department Human Resources Research Field Computer science » Other Researcher Profile Recognised Researcher (R2
-
with public and private data sets (e.g., O*NET and Lightcast). A computer science background and the ability to build data pipelines are a plus, as well as fluency in modern AI tools. This position
-
Location: Dept of Engineering Science, Parks Road, Oxford, OX1 3PJ About the role We are seeking a full-time Postdoctoral Research Assistant to join the Computing Infrastructure research group
-
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-FRP How to Apply Please visit https://orise.orau.gov/netl/ to learn more about the program and the application process
-
position is appropriate for a candidate who is enthusiastic and willing to undertake multiple molecular biology and computational approaches to evaluate host immunity elicited by candidate HIV vaccines when
-
29 Jul 2026 Job Information Organisation/Company NEW YORK UNIVERSITY ABU DHABI Research Field Computer science Engineering Researcher Profile Recognised Researcher (R2) Established Researcher (R3