Sort by
Refine Your Search
-
Listed
-
Country
- United States
- United Kingdom
- France
- Germany
- Portugal
- Australia
- Singapore
- Spain
- Netherlands
- Canada
- Sweden
- Denmark
- Morocco
- Norway
- United Arab Emirates
- Ireland
- Finland
- Italy
- Hong Kong
- Belgium
- Poland
- Brazil
- Japan
- Switzerland
- Romania
- Croatia
- Czech
- Luxembourg
- Austria
- China
- New Zealand
- Saudi Arabia
- Taiwan
- Greece
- Mexico
- Europe
- Cyprus
- Estonia
- India
- Slovenia
- Bulgaria
- Israel
- South Africa
- Turkey
- Vietnam
- Andorra
- Brasil
- Latvia
- Qatar
- Sao Tome and Principe
- Argentina
- Czech Republic
- Deutschland
- Faroe Islands
- Iceland
- Isle of Man
- Jersey
- Kyrgyzstan
- Malaysia
- Malta
- Mongolia
- Slovakia
- South Korea
- Wellington, New Zealand
- Worldwide
- 55 more »
- « less
-
Program
-
Employer
- Nature Careers
- CNRS
- Princeton University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Rutgers University
- Nanyang Technological University
- NEW YORK UNIVERSITY ABU DHABI
- National University of Singapore
- The Ohio State University
- University of British Columbia
- University of North Carolina at Chapel Hill
- Harvard University
- University of Oxford
- McGill University
- University of Minnesota
- University of Washington
- Northeastern University
- Carnegie Mellon University
- University of Oslo
- KINGS COLLEGE LONDON
- University of Sydney
- THE UNIVERSITY OF HONG KONG
- FAPESP - São Paulo Research Foundation
- Technical University of Denmark
- University of Maryland, Baltimore
- Zintellect
- University College Cork
- ;
- Johns Hopkins University
- Stanford University
- Texas A&M University
- Cornell University
- Leibniz
- University of Nottingham
- The University of Arizona
- UNIVERSITY OF HELSINKI
- AALTO UNIVERSITY
- The University of Queensland
- University of Cincinnati
- Oak Ridge National Laboratory
- Argonne
- Technical University of Munich
- University of Utah
- Ghent University
- UNIVERSIDAD POLITECNICA DE MADRID
- UNIVERSITY OF SOUTHAMPTON
- University of Texas at Austin
- Florida International University
- Indiana University
- University of Bergen
- Duke University
- University of Michigan
- Stony Brook University
- American University
- Medical College of Wisconsin
- University of Alabama at Birmingham
- University of Glasgow
- University of Oregon
- Pennsylvania State University
- Aarhus University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- UNIVERSITY OF VIENNA
- University of California, Los Angeles
- New York University
- University of Birmingham
- University of South Carolina
- DAAD
- University of Colorado
- University of Kansas Medical Center
- FCiências.ID
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Oxford;
- SUNY University at Buffalo
- University of Adelaide
- University of Luxembourg
- University of Minho
- University of North Texas at Dallas
- Texas A&M AgriLife
- University of Florida
- Università degli Studi di Bari Aldo Moro
- Lunds universitet
- Universidade de Coimbra
- Colorado State University
- University of California
- Loyola University
- University College Dublin
- University of Miami
- University of Southern Denmark
- University of Texas Rio Grande Valley
- Washington University in St. Louis
- Georgia Southern University
- Hong Kong Polytechnic University
- King's College London
- Case Western Reserve University
- National Aeronautics and Space Administration (NASA)
- Yale University
- Emory University
- UNIVERSITY OF SURREY
- University of Arkansas
- 90 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Economics
- Engineering
- Science
- Mathematics
- Chemistry
- Materials Science
- Psychology
- Linguistics
- Environment
- Earth Sciences
- Humanities
- Business
- Social Sciences
- Law
- Arts and Literature
- Education
- Electrical Engineering
- Philosophy
- Physics
- Sports and Recreation
- Design
- 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