1,330 formal-verification-computer-science 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
- Hong Kong
- Austria
- 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
- 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
- AALTO UNIVERSITY
- Ghent University
- Northeastern University
- Rutgers University
- University of California, Merced
- Massachusetts Institute of Technology (MIT)
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- 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
- SciLifeLab
- Texas A&m Engineering
- University of British Columbia
- University of California
- 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)
- St Jude Children's Research Hospital
- University of Amsterdam (UvA)
- University of Aveiro
- University of Delaware
- University of Luxembourg
- 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
- 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
- Wageningen University & Research
- Washington University in St. Louis
- Wayne State University
- ADELAIDE UNIVERSITY
- Blekinge Institute of Technology
- Brookhaven National Laboratory
- 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
- Education
- Humanities
- Social Sciences
- Physics
- Sports and Recreation
- Business
- Design
- Law
- 14 more »
- « less
-
. The successful candidate will join an interdisciplinary research programme at the interface of biochemistry, molecular biology, biomolecular engineering, and computational genomics. The current focus is developing
-
7 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Programming Computer science » Other Researcher Profile Recognised Researcher (R2
-
Quantum Information Science and Engineering Theory Postdoctoral Associate Yale University: School of Engineering and Applied Science: Applied Physics: Yale Quantum Institute Location New Haven, CT
-
. 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
-
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
-
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
-
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
-
of Computing and Information Science under the direction of Principal Investigator Rene Kizilcec. The NTO is a collaboration among Cornell University, Carnegie Mellon University, and the Massachusetts Institute
-
. Qualifications To qualify for the DOE OREM Science Education and Internship Program, you will need to meet the following eligibility criteria at the time of application: Be a U.S. citizen at the time of
-
Chemistry to conduct fundamental and applied research at the intersection of machine learning and computational chemistry. In this role, you will develop physics-informed, symmetry-aware models