Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- France
- Sweden
- Germany
- Netherlands
- Denmark
- Spain
- Morocco
- Portugal
- Belgium
- Poland
- United Kingdom
- Finland
- United Arab Emirates
- Switzerland
- Brazil
- Romania
- Austria
- Czech
- Norway
- Canada
- Hong Kong
- Ireland
- Luxembourg
- Greece
- Japan
- Croatia
- Italy
- Australia
- China
- Cyprus
- Singapore
- Taiwan
- South Africa
- Bulgaria
- Estonia
- Iceland
- Israel
- Latvia
- Mexico
- New Zealand
- Saudi Arabia
- Slovenia
- Turkey
- Worldwide
- 35 more »
- « less
-
Employer
- CNRS
- Nature Careers
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Aarhus University
- The Ohio State University
- Princeton University
- Ghent University
- Technical University of Munich
- Emory University
- FAPESP - São Paulo Research Foundation
- Lunds universitet
- Rutgers University
- Argonne
- Delft University of Technology (TU Delft)
- KTH Royal Institute of Technology
- THE UNIVERSITY OF HONG KONG
- Technical University of Denmark
- UNIVERSITY OF HELSINKI
- University of Washington
- McGill University
- University of Southern Denmark
- Forschungszentrum Jülich
- AALTO UNIVERSITY
- Chalmers University of Technology
- Stanford University
- University of Oslo
- Leibniz
- University of Amsterdam (UvA)
- University of North Carolina at Chapel Hill
- Uppsala universitet
- Aalborg University
- ICN2
- Utrecht University
- UNIVERSITY OF VIENNA
- University of Minnesota
- Chalmers tekniska högskola
- Texas A&M University
- Carnegie Mellon University
- Empa
- U.S. Department of Energy (DOE)
- Umeå University
- University of Aveiro
- University of Warsaw
- KINGS COLLEGE LONDON
- Karolinska Institutet (KI)
- The University of Arizona
- Tilburg University
- Universitat de Barcelona
- University of Lund
- ETH Zürich
- Foundation for Research and Technology-Hellas
- Inria, the French national research institute for the digital sciences
- Texas A&M AgriLife
- Umeå universitet stipendiemodul
- Universitat Autònoma de Barcelona
- University of North Texas at Dallas
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- National Renewable Energy Laboratory NREL
- Stony Brook University
- University of Copenhagen
- University of Jyväskylä
- University of Oxford
- University of Twente (UT)
- Bucharest Universty of Economic Studies
- Central State University
- Centre for Genomic Regulation
- Eindhoven University of Technology (TU/e)
- George Emil Palade University of Medicine, Pharmacy, Science, and Technology of Târgu Mureș
- International Iberian Nanotechnology Laboratory (INL)
- KU LEUVEN
- Kennesaw State University
- Northeastern University
- SUNY Polytechnic Institute
- SciLifeLab
- Sveriges Lantbruksuniversitet
- Universidade de Coimbra
- University College Cork
- University of Antwerp
- University of Basel
- University of Minho
- Veterinärmedizinische Universität Wien (University of Veterinary Medicine Vienna)
- Washington University in St. Louis
- Adam Mickiewicz University, Poznań
- Cornell University
- Delft University of Technology (TU Delft); yesterday published
- International Institute of Molecular and Cell Biology in Warsaw
- Itä-Suomen yliopisto
- Linköping University
- MASARYK UNIVERSITY
- Nantes Université
- Radboud University
- SUNY University at Buffalo
- Universite de Montpellier
- University of Amsterdam (UvA); Published yesterday
- University of Luxembourg
- University of Maryland, Baltimore
- University of Texas at Dallas
- Wageningen University & Research
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Mathematics
- Chemistry
- Science
- Materials Science
- Environment
- Humanities
- Linguistics
- Psychology
- Earth Sciences
- Social Sciences
- Electrical Engineering
- Arts and Literature
- Physics
- Business
- Law
- Philosophy
- Education
- Statistics
- 13 more »
- « less
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in programming languages
-
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 Summer 2026, with
-
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