1,339 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
- Forschungszentrum Jülich
- 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
- 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
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 2 months ago
; understanding of the potential career trajectories of postdocs in science and engineering; familiarity with career services’ online technology/management systems; knowledge of career development theory and the
-
biology, chemistry, physics, math and engineering education research, plus Education Research-adjacent faculty who attend periodically. Postdocs will receive guidance and training in writing from
-
% superannuation About the opportunity The School of Chemical and Biomolecular Engineering at the University of Sydney, established in 1946, offered the first university-level chemical engineering program in
-
Location ST. LOUIS, MO 63110 Position Summary We are seeking a Postdoctoral Researcher to join our exciting and mission driven research program. We are a team-oriented, basic-translational lab
-
, the China Scholarship Council (CSC) and the DAAD have offered a joint programme to support Chinese postdocs since 2013. Who can apply? Outstanding graduates from Chinese Universities and institutes. What can
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 1 month ago
the nation for federal research expenditures as well as for federally funded social and behavioral sciences research and development. Here at Carolina, our highly skilled postdocs play a vital role in our
-
computational efficiency of large-scale simulations. The Chair of Computational Methods in Civil and Environmental Engineering at the Technical University of Munich (TUM) invites applications for Doctoral
-
The Nuclear Science and Engineering Division at Argonne National Laboratory seeks a Postdoctoral Appointee to conduct R&D on metallic materials for extreme environments relevant to nuclear energy
-
21 Sep 2026 Job Information Organisation/Company Université Bourgogne Europe Department Nuclear Medecine Research Field Chemistry » Molecular chemistry Researcher Profile First Stage Researcher (R1
-
at the intersection of applied mathematics, computational science, and high-performance computing. The successful candidate will help develop advanced scientific computing methods and deploy them on state-of-the-art