1,324 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
- Spain
- Poland
- 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
- Massachusetts Institute of Technology
- Chalmers University of Technology
- Cornell University
- National Energy Technology Laboratory (NETL)
- Institute of Photonic Sciences
- Carnegie Mellon University
- KTH Royal Institute of Technology
- Yale University
- Eindhoven University of Technology (TU/e)
- FAPESP - São Paulo Research Foundation
- University of Washington
- 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
- Grenoble INP - Institute of Engineering
- Massachusetts Institute of Technology (MIT)
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- SciLifeLab
- Swedish University of Agricultural Sciences
- UNIVERSITY OF SYDNEY
- University of Oregon
- Baylor College of Medicine
- EPFL
- 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
- Lulea University of Technology
- 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 Lund
- 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
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Engineering
- Science
- Medical Sciences
- Chemistry
- 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
-
. Qualifications Essential Qualifications: PhD in computer science/engineering with expertise in a security or privacy research topic. Less than 5 years post-receiving the Doctoral degree. Excellent analytic, design
-
study programs to match the skills in demand. We hope that you will help us to build the sustainable companies and societies of the future. Luleå University of Technology is one of Europe’s leading
-
on clinically relevant topics? If yes, then Maastricht University has a new challenge for you! Postdoc Position Data Science and Artificial Intelligence in Cardiac Electrophysiology Our goal: the development
-
Department: Medicine | School Biomed Sci - Biomedical Informatics This Post Doctoral Scholar will be responsible for conducting natural language processing research in pharmaco-informatics, and leading and
-
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
-
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
-
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
-
10 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Other Engineering » Materials engineering Engineering » Other Physics » Acoustics
-
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
-
partners. Who we are looking for The following requirements are mandatory: A doctoral degree in mechanical engineering, mathematics, physics, computer science, or a relevant field of fluid or structural