825 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Category
-
Country
- United States
- Netherlands
- Sweden
- Germany
- United Kingdom
- France
- Poland
- Australia
- Denmark
- Ireland
- Austria
- China
- Saudi Arabia
- Spain
- Belgium
- United Arab Emirates
- Czech
- Portugal
- Switzerland
- Brazil
- Canada
- Croatia
- Luxembourg
- Morocco
- Norway
- Finland
- Greece
- Slovakia
- Europe
- Israel
- Latvia
- Mexico
- 22 more »
- « less
-
Employer
- Delft University of Technology (TU Delft)
- The Ohio State University
- Pennsylvania State University
- Chalmers University of Technology
- Carnegie Mellon University
- KTH Royal Institute of Technology
- Eindhoven University of Technology (TU/e)
- Aarhus University
- Oak Ridge National Laboratory
- University College Cork
- UNIVERSITY OF VIENNA
- University of Washington
- National Energy Technology Laboratory (NETL)
- University of Oxford
- Yale University
- King Abdullah University of Science and Technology
- Massachusetts Institute of Technology
- The University of Arizona
- University of Florida
- Argonne
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- SUNY University at Buffalo
- University of Sydney
- Rutgers University
- U.S. Department of Energy (DOE)
- University of Maryland, Baltimore
- AALTO UNIVERSITY
- Grenoble INP - Institute of Engineering
- UNIVERSITY OF SYDNEY
- University of Oregon
- FAPESP - São Paulo Research Foundation
- Ghent University
- Harvard 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)
- SciLifeLab
- St Jude Children's Research Hospital
- Texas A&m Engineering
- University of Amsterdam (UvA)
- University of Aveiro
- University of California
- University of North Carolina at Chapel Hill
- Utrecht University
- Zintellect
- EPFL
- HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES
- Heidelberg University
- Institute of Photonic Sciences
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Rochester Institute of Technology
- Swedish University of Agricultural Sciences
- Technical University of Munich
- The Swedish University of Agricultural Sciences
- University of Arkansas
- University of British Columbia
- University of California, Los Angeles
- University of California, Merced
- University of Nevada, Reno
- Wageningen University & Research
- Washington University in St. Louis
- Wayne State University
- Computer Vision Center
- DAAD
- Erasmus University Rotterdam
- Forschungszentrum Jülich
- Foundation for Research and Technology-Hellas
- Helmholtz Association of German Research Centres
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Inria, the French national research institute for the digital sciences
- Institute of Macromolecular Chemistry CAS
- Institute of Science and Technology Austria (ISTA)
- Kennesaw State University
- Lulea University of Technology
- Luxembourg Institute of Science and Technology
- Macquarie University
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Missouri University of Science and Technology
- Mälardalen University
- Southern University of Science and Technology
- Stony Brook University
- Sveučilište u Zagrebu, Filozofski fakultet
- Umeå University
- University of California Irvine
- University of Houston
- University of Hradec Kralove
- University of Idaho
- University of Illinois Chicago
- University of Miami
- University of Minnesota
- University of Nevada Las Vegas
- University of New South Wales
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Science
- Chemistry
- Economics
- Materials Science
- Mathematics
- Environment
- Electrical Engineering
- Earth Sciences
- Psychology
- Humanities
- Sports and Recreation
- Linguistics
- Philosophy
- Social Sciences
- Physics
- Arts and Literature
- Law
- Business
- Design
- Education
- 14 more »
- « less
-
system for stroke rehabilitation, test and optimize it with patients, retrain the stimulation-control algorithm for stroke-specific gait, and evaluate usability, comfort, and fit during prolonged use. You
-
date: 2026-08-24 Where to apply Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research FieldEngineeringYears of Research Experience4 - 10 Research
-
, particularly artificial neural networks, and deep learning? And you would like to continue your research on clinically relevant topics? If yes, then Maastricht University has a new challenge for you! Postdoc
-
Research Center for Molecular Medicine (CeMM), ÖAW | Vienna, Virginia | United States | 2 months ago
postdoc program. Required are scientific quality and originality, as well as a collaborative and interdisciplinary mindset. Potential Projects We are open to ideas that fit into the broader scope and
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
We are offering a postdoc position in an exciting national project focusing on software security, with great opportunities for collaborations with top researchers in cybersecurity, program analysis
-
collaborative culture, and a diverse team, including 68 permanent staff, and over 100 PhD students and postdocs driving innovative research. Job requirements We are looking for a highly motivated candidate with
-
28 Jul 2026 Job Information Organisation/Company Luxembourg Institute of Science and Technology Research Field Engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions
-
28 Jul 2026 Job Information Organisation/Company KU LEUVEN Research Field Engineering » Biomedical engineering Medical sciences » Medicine Technology » Biotechnology Technology » Medical technology Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Application Deadline 14...
-
, drawing on machine learning where it strengthens these methods. The research supports mission-critical scenarios and feeds into an end-to-end resilience proof of concept developed together with Swedish and