Sort by
Refine Your Search
-
Listed
-
Country
- United States
- Portugal
- Germany
- France
- Spain
- United Kingdom
- Netherlands
- Sweden
- Norway
- Denmark
- Canada
- Finland
- Singapore
- Morocco
- Poland
- Belgium
- Australia
- Hong Kong
- United Arab Emirates
- Croatia
- Czech
- Luxembourg
- Romania
- Switzerland
- Austria
- Ireland
- Brazil
- Italy
- China
- Japan
- Greece
- Cyprus
- Estonia
- Saudi Arabia
- Taiwan
- Mexico
- Bulgaria
- Europe
- New Zealand
- Qatar
- Slovenia
- South Africa
- Faroe Islands
- Iceland
- India
- Isle of Man
- Kyrgyzstan
- Malta
- Mongolia
- Sao Tome and Principe
- Worldwide
- 41 more »
- « less
-
Program
-
Employer
- Nature Careers
- CNRS
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- McGill University
- University of Oslo
- Nanyang Technological University
- The Ohio State University
- National University of Singapore
- NEW YORK UNIVERSITY ABU DHABI
- Rutgers University
- Zintellect
- AALTO UNIVERSITY
- University of Texas at Austin
- Ghent University
- UNIVERSITY OF HELSINKI
- University of Bergen
- Oak Ridge National Laboratory
- THE UNIVERSITY OF HONG KONG
- Technical University of Denmark
- University of Minho
- Aarhus University
- Leibniz
- Princeton University
- Universidade de Coimbra
- University of Washington
- Technical University of Munich
- Emory University
- University of British Columbia
- DAAD
- KTH Royal Institute of Technology
- Lunds universitet
- ;
- FAPESP - São Paulo Research Foundation
- University of Luxembourg
- University College Cork
- University of Southern Denmark
- Carnegie Mellon University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Argonne
- Harvard University
- University of Turku
- Forschungszentrum Jülich
- Texas A&M University
- UNIVERSITY OF VIENNA
- Universitat Autònoma de Barcelona
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Karolinska Institutet (KI)
- University of North Texas at Dallas
- Stanford University
- Tampere University
- KINGS COLLEGE LONDON
- LINGNAN UNIVERSITY
- Empa
- FCiências.ID
- Institute for bioengineering of Catalonia, IBEC
- UNIVERSIDAD POLITECNICA DE MADRID
- University of North Carolina at Chapel Hill
- ICN2
- UiT The Arctic University of Norway
- University of Adelaide
- University of Oxford
- Chalmers tekniska högskola
- Eindhoven University of Technology (TU/e)
- New York University
- Nova School of Business and Economics
- Universidad de Alicante
- University of Aveiro
- University of Beira Interior
- University of Sydney
- Cornell University
- Delft University of Technology (TU Delft); Delft
- ETH Zürich
- Medical College of Wisconsin
- NTNU - Norwegian University of Science and Technology
- The University of Arizona
- University of Amsterdam (UvA)
- University of Oulu
- Utrecht University
- Wageningen University and Research Center
- University of A Coruña
- University of Antwerp
- University of Groningen
- Wageningen University & Research
- Free University of Berlin
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- University of California
- University of Lund
- University of Nottingham
- University of Zagreb, Faculty of Mechanical Engineering and Naval Architecture
- Delft University of Technology (TU Delft); yesterday published
- Humboldt-Universität zu Berlin
- KU LEUVEN
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- SUNY University at Buffalo
- Umeå universitet stipendiemodul
- Universidad de Murcia
- University of Birmingham
- University of Jyväskylä
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Economics
- Engineering
- Science
- Mathematics
- Linguistics
- Chemistry
- Materials Science
- Environment
- Earth Sciences
- Humanities
- Social Sciences
- Psychology
- Arts and Literature
- Law
- Business
- Electrical Engineering
- Philosophy
- Education
- Physics
- Statistics
- Design
- Sports and Recreation
- 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