Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- France
- United Kingdom
- Netherlands
- Germany
- Sweden
- Denmark
- Morocco
- United Arab Emirates
- Spain
- Belgium
- Ireland
- Brazil
- Australia
- Hong Kong
- Poland
- Finland
- Portugal
- Switzerland
- Canada
- Japan
- Austria
- China
- Luxembourg
- Czech
- Norway
- Romania
- Croatia
- Italy
- Saudi Arabia
- Singapore
- Greece
- Mexico
- Taiwan
- Europe
- New Zealand
- Cyprus
- Israel
- South Africa
- Brasil
- Qatar
- Andorra
- Bulgaria
- Czech Republic
- Faroe Islands
- Iceland
- Isle of Man
- Jersey
- Slovakia
- Slovenia
- Turkey
- Worldwide
- 42 more »
- « less
-
Employer
- CNRS
- Nature Careers
- Princeton University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- NEW YORK UNIVERSITY ABU DHABI
- University of North Carolina at Chapel Hill
- Rutgers University
- The Ohio State University
- University of Oxford
- University of Minnesota
- FAPESP - São Paulo Research Foundation
- THE UNIVERSITY OF HONG KONG
- Technical University of Denmark
- University of Washington
- The University of Arizona
- Technical University of Munich
- Texas A&M University
- Oak Ridge National Laboratory
- Stanford University
- Argonne
- Cornell University
- KINGS COLLEGE LONDON
- University of Sydney
- Carnegie Mellon University
- Northeastern University
- University of Florida
- Ghent University
- UNIVERSITY OF VIENNA
- Chalmers University of Technology
- Stony Brook University
- Delft University of Technology (TU Delft)
- Leibniz
- University College Cork
- Aarhus University
- Duke University
- National Aeronautics and Space Administration (NASA)
- University of Maryland, Baltimore
- AALTO UNIVERSITY
- Emory University
- University of Oregon
- SUNY University at Buffalo
- Texas A&M AgriLife
- University of Luxembourg
- Yale University
- UNIVERSITY OF HELSINKI
- Medical College of Wisconsin
- University of British Columbia
- University of Miami
- University of Colorado
- University of Southern Denmark
- DURHAM UNIVERSITY
- Empa
- Forschungszentrum Jülich
- University of South Carolina
- RIKEN
- Delft University of Technology (TU Delft); Delft
- Durham University
- KTH Royal Institute of Technology
- New York University
- University of Oxford;
- Lunds universitet
- Washington University in St. Louis
- Aalborg University
- Baylor College of Medicine
- MAYNOOTH UNIVERSITY
- University of California
- University of Houston Central Campus
- Florida International University
- University College Dublin
- ;
- Karolinska Institutet (KI)
- King's College London
- Pennsylvania State University
- UNIVERSITY OF SYDNEY
- Massachusetts Institute of Technology
- Universitat de Barcelona
- University of Antwerp
- University of Arkansas
- University of Kentucky
- University of North Texas at Dallas
- University of Virginia
- ETH Zürich
- Harvard University
- McGill University
- University of Aveiro
- University of Groningen
- University of Lund
- University of Texas at Dallas
- University of Utah
- Utrecht University
- Chalmers tekniska högskola
- Eindhoven University of Technology (TU/e)
- Indiana University
- U.S. Department of Energy (DOE)
- Universitat Autònoma de Barcelona
- University of Amsterdam (UvA)
- University of California, Los Angeles
- University of Central Florida
- University of Maryland
- Delft University of Technology (TU Delft); yesterday published
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Economics
- Engineering
- Science
- Chemistry
- Mathematics
- Materials Science
- Environment
- Earth Sciences
- Psychology
- Humanities
- Social Sciences
- Linguistics
- Law
- Arts and Literature
- Physics
- Electrical Engineering
- Philosophy
- Business
- Education
- Design
- Sports and Recreation
- Statistics
- 15 more »
- « less
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
, and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some room