3,168 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
- Japan
- Ireland
- 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
- The University of Arizona
- Rutgers University
- 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
- St Jude Children's Research Hospital
- Massachusetts Institute of Technology
- Carnegie Mellon University
- Queen Mary University of London
- EPFL
- Technical University of Munich
- University of Liverpool
- University of Nebraska Medical Center
- 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
- The University of Iowa
- University of California
- University of Oregon
- AALTO UNIVERSITY
- 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 Luxembourg
- University of California, Los Angeles
- University of Kentucky
- Empa
- 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
- Wayne State University
- Bowdoin College
- Ghent University
- Helmholtz Association of German Research Centres
- ICN2
- Queen Mary University of London;
- 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
- Umeå University
- University College Cork
- University of Basel
- University of British Columbia
- University of Cambridge;
- University of Lund
- 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
-
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
-
/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
-
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
-
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
-
research group with responsibility for carrying out research in Applied Mathematics and Computational Neuroscience and related fields as part of the Medical Research Council, UKRI grant “Algebraic topology
-
to, atmospheric science, environmental engineering, earth observation, and computer science. Strong programming skills and experience with machine learning applications in geoscience are highly desirable