1,326 proof-checking-postdoc-computer-science-logic Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Category
-
Country
- United States
- Netherlands
- Sweden
- United Kingdom
- United Arab Emirates
- Germany
- France
- 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
- Eindhoven University of Technology (TU/e)
- University of Washington
- FAPESP - São Paulo Research Foundation
- University College Cork
- Oak Ridge National Laboratory
- Aarhus University
- Harvard University
- University of Maryland, Baltimore
- THE UNIVERSITY OF HONG KONG
- UNIVERSITY OF VIENNA
- CNRS
- University of Florida
- Iowa State University
- The University of Arizona
- Villanova University
- Argonne
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- St Jude Children's Research Hospital
- U.S. Department of Energy (DOE)
- 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
- University of British Columbia
- University of Luxembourg
- University of North Texas at Dallas
- DAAD
- Indiana University
- Inria, the French national research institute for the digital sciences
- 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)
- Texas A&m Engineering
- University of Amsterdam (UvA)
- University of Aveiro
- University of California
- University of Delaware
- University of North Carolina at Chapel Hill
- University of Oxford;
- Utrecht University
- Zintellect
- California Institute of Technology
- DURHAM UNIVERSITY
- 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
- Blekinge Institute of Technology
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Science
- Chemistry
- Medical Sciences
- Economics
- Materials Science
- Mathematics
- Environment
- Electrical Engineering
- Psychology
- Earth Sciences
- Arts and Literature
- Humanities
- Linguistics
- Education
- Philosophy
- Social Sciences
- Physics
- Sports and Recreation
- Business
- Design
- Law
- 14 more »
- « less
-
this position will be to do excellent research at the borderland of behavioral, social, and computer science, both in collaboration with the Aalto team and within your existing professional network. We aim
-
that is safe against attackers enabled by quantum computers. However, the implementations of QKD may introduce weaknesses not accounted for in security proofs, leaving systems vulnerable to side-channel and
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Tremblay en France, le de France | France | 2 months ago
and the environment from the effects of radioactive radiation. The Department of Synchrotron Science is looking for a Postdoc (f/m/d). The Rossendorf Beamline at the ESRF is operated by HZDR and
-
5 Sep 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Other Engineering » Communication engineering Engineering » Electrical engineering
-
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
-
-information science. The faculty works closely with other faculties, universities, private parties, and the public sector, and has an extensive network in the Netherlands as well as internationally. Click here to go
-
cells. Job description Delft University of Technology invites applications for a Postdoctoral Researcher to join the ALD4TANDEM project, an ambitious research programme developing advanced atomic layer
-
, physics, applied mathematics, engineering, computer science or related discipline. Strong skills in fluid mechanics and numerical modelling. Experience with large observational data sets of environmental
-
on experimental thermo-mechanics and the reservoir modeling. Job requirements Need-to-haves: PhD in Geophysics, Physics, Mathematics, Earth Sciences or closely related discipline. Experience with and love
-
About us The researcher will join the Human-Centred Computing (HCC) group at King’s at the Department of Informatics, which provides a supportive and collaborative environment and an exciting mix