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
-
10 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Other Engineering » Materials engineering Engineering » Other Physics » Acoustics
-
vacancy for a postdoctoral researcher in Data Science and Artificial Intelligence. In this position you will develop advanced computational methods for the analysis of large-scale multimodal cardiovascular
-
the link between mechanics and biology in the musculoskeletal system, including related pathologies and repair of skeletal tissues. Experimental studies, tissue characterisation and computational simulation
-
and Technology of China. The accepted postdocs will work on one or more of the following subjects or related subjects: quantum simulation of gauge theory, quantum observables in high energy colliders
-
://www.academictransfer.com/en/jobs/362631/postdoc-in-computational-and-mu… Requirements Specific Requirements We are looking for an ambitious and highly motivated candidate who has: A PhD degree in Biomedical Engineering
-
Position Title: Postdoctoral Research Associate in Crop Genetic Resources and Informatics Appointment Type: Post Doc/Trainee Job Description: Summary of Duties and Responsibilities: We are seeking
-
21 Jul 2026 Job Information Organisation/Company University of Twente (UT) Research Field Engineering » Biomedical engineering Engineering » Computer engineering Researcher Profile Recognised
-
curious to deliver work that matters, your journey starts here! The Department of Electrical and Computer Engineering (ECE) ranks among the best in the country. Our research programs are at the forefront
-
collaboration strategies, business models and incentives from ships, terminals and logistics-ecosystem perspectives. The Postdoc will join the Department of Maritime and Transport Technology and will have the
-
for the Protection of Systems and Information (EIPSI), in the department of Mathematics and Computer Science. The work is carried out in collaboration with QUANT at Twente University and QSA Technology, as well as TU