3,162 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Postdoctoral
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- United Kingdom
- Germany
- France
- Spain
- Australia
- Sweden
- Switzerland
- Netherlands
- Belgium
- Denmark
- Morocco
- Finland
- China
- Canada
- Saudi Arabia
- Ireland
- Japan
- Poland
- Italy
- Austria
- Czech
- Singapore
- Portugal
- Israel
- Croatia
- Luxembourg
- Norway
- Europe
- India
- Romania
- Brazil
- Greece
- Hungary
- South Africa
- Afghanistan
- Andorra
- Estonia
- Kenya
- Mexico
- Slovakia
- Slovenia
- Taiwan
- United Arab Emirates
- 34 more »
- « less
-
Employer
- University of Oxford
- Pennsylvania State University
- Stanford University
- University of Washington
- Yale University
- Oak Ridge National Laboratory
- Duke University
- Cornell University
- Argonne
- Texas A&M University
- Rutgers University
- The University of Arizona
- Baylor College of Medicine
- Texas A&M AgriLife
- Stony Brook University
- Northeastern University
- North Carolina State University
- Virginia Tech
- Princeton University
- CNRS
- University of Miami
- SUNY University at Buffalo
- University of Florida
- University of Oxford;
- UNIVERSITY OF VIENNA
- University of Sydney
- Harvard University
- Iowa State University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Massachusetts Institute of Technology
- Carnegie Mellon University
- Queen Mary University of London
- University of Liverpool
- EPFL
- Technical University of Munich
- University of Nebraska Medical Center
- St Jude Children's Research Hospital
- Aarhus University
- George Washington University
- University of North Carolina at Chapel Hill
- Zintellect
- University of California Irvine
- Indiana University
- King Abdullah University of Science and Technology
- King's College London
- University of North Texas at Dallas
- University of Southern California
- AALTO UNIVERSITY
- The University of Iowa
- University of California
- University of Oregon
- Durham University
- UNIVERSITY OF HELSINKI
- McGill University
- UNIVERSITY OF SYDNEY
- University of Texas at Dallas
- Villanova University
- Washington State University
- Washington University in St. Louis
- DURHAM UNIVERSITY
- Leiden University
- RIKEN
- University of California, Merced
- University of California, Los Angeles
- University of Kentucky
- Wayne State University
- Empa
- ICN2
- Karolinska Institutet (KI)
- Lehigh University
- Michigan State University
- New York University
- Singapore-MIT Alliance for Research and Technology
- The University of Edinburgh;
- University of Antwerp
- University of London
- University of Luxembourg
- Bowdoin College
- Ghent University
- Queen Mary University of London;
- University College Cork
- University of Manchester
- University of Nevada, Reno
- University of New Hampshire
- University of Texas at Arlington
- Aalborg University
- Delft University of Technology (TU Delft)
- ETH Zürich
- East Carolina University
- Forschungszentrum Jülich
- Heriot Watt University
- Lunds universitet
- Massachusetts Institute of Technology (MIT)
- Montana State University
- South Dakota Mines
- Texas A&m Engineering
- The Ohio State University
- Umeå University
- University of Basel
- University of British Columbia
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Science
- Chemistry
- Materials Science
- Mathematics
- Environment
- Psychology
- Humanities
- Earth Sciences
- Social Sciences
- Electrical Engineering
- Physics
- Philosophy
- Law
- Arts and Literature
- Business
- Linguistics
- Education
- Sports and Recreation
- Design
- 14 more »
- « less
-
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
-
21 Sep 2026 Job Information Organisation/Company Université Bourgogne Europe Department Nuclear Medecine Research Field Chemistry » Molecular chemistry Researcher Profile First Stage Researcher (R1
-
/an ... University Assistant Postdoctoral 52 Faculty of Chemistry Startdate: 14.09.2026 | Working hours: 20 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Reference no.: 6126 Explore and teach
-
that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely with the engineers designing ARM's automated arc melting
-
Full time, fixed term for 2 years with the possibility of extension Join the School of Electrical and Computer Engineering and contribute to pioneering research redefining CubeSat technology Base
-
Infrastructure? No Offer Description Full time, fixed term for 2 years with the possibility of extension Join the School of Electrical and Computer Engineering and contribute to pioneering research redefining
-
of Virginia (UVA) School of Medicine is seeking to fill Postdoctoral Researcher positions in computational biology and machine learning. The lab develops modern machine learning, generative modeling, and
-
Position Title: Postdoctoral Researcher in Machine Learning and Computational Chemistry Appointment Type: Post Doc/Trainee Job Description: Summary of Duties and Responsibilities: The Postdoctoral
-
to, atmospheric science, environmental engineering, earth observation, and computer science. Strong programming skills and experience with machine learning applications in geoscience are highly desirable
-
impact? We are currently seeking a/an University Assistant Postdoctoral 52 Faculty of Chemistry Startdate: 01.10.2026 | Working hours: 20 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc