Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- France
- Sweden
- Germany
- Denmark
- Netherlands
- Spain
- Morocco
- Poland
- United Kingdom
- Portugal
- Belgium
- Finland
- United Arab Emirates
- Switzerland
- Czech
- Brazil
- Hong Kong
- Austria
- Romania
- Norway
- Canada
- Ireland
- Japan
- Luxembourg
- Croatia
- Italy
- Greece
- Singapore
- Australia
- China
- Cyprus
- Taiwan
- Saudi Arabia
- Estonia
- Bulgaria
- Iceland
- Latvia
- Mexico
- New Zealand
- Slovenia
- South Africa
- Turkey
- Worldwide
- 34 more »
- « less
-
Employer
- CNRS
- Nature Careers
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- The Ohio State University
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Aarhus University
- Princeton University
- THE UNIVERSITY OF HONG KONG
- Lunds universitet
- Technical University of Munich
- Argonne
- Emory University
- FAPESP - São Paulo Research Foundation
- Ghent University
- Rutgers University
- Technical University of Denmark
- UNIVERSITY OF HELSINKI
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- University of Southern Denmark
- AALTO UNIVERSITY
- University of Amsterdam (UvA)
- University of Oslo
- University of Washington
- KTH Royal Institute of Technology
- Uppsala universitet
- McGill University
- Forschungszentrum Jülich
- Leibniz
- ICN2
- Stanford University
- University of North Carolina at Chapel Hill
- Utrecht University
- Aalborg University
- Karolinska Institutet (KI)
- Texas A&M University
- University of Minnesota
- University of Lund
- KINGS COLLEGE LONDON
- Umeå universitet stipendiemodul
- Carnegie Mellon University
- Cornell University
- U.S. Department of Energy (DOE)
- UNIVERSITY OF VIENNA
- Umeå University
- Empa
- University of Copenhagen
- University of Jyväskylä
- Wageningen University & Research
- ETH Zürich
- George Emil Palade University of Medicine, Pharmacy, Science, and Technology of Târgu Mureș
- Inria, the French national research institute for the digital sciences
- Radboud University
- Tilburg University
- University of Antwerp
- University of Aveiro
- Czech Technical University in Prague
- Eindhoven University of Technology (TU/e)
- National Renewable Energy Laboratory NREL
- SciLifeLab
- Texas A&M AgriLife
- Universitat de Barcelona
- University of Basel
- University of Oxford
- University of Twente (UT)
- Zintellect
- Brookhaven National Laboratory
- Foundation for Research and Technology-Hellas
- King's College London
- Leiden University
- Linköping University
- UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
- Umeå universitet
- Universidade de Coimbra
- University College Cork
- University of North Texas at Dallas
- University of Warsaw
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Duke University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Heidelberg University
- International Iberian Nanotechnology Laboratory (INL)
- Kennesaw State University
- SUNY Polytechnic Institute
- Stony Brook University
- Université Savoie Mont Blanc
- Veterinärmedizinische Universität Wien (University of Veterinary Medicine Vienna)
- Adam Mickiewicz University, Poznań
- Central State University
- International Institute of Molecular and Cell Biology in Warsaw
- Itä-Suomen yliopisto
- MASARYK UNIVERSITY
- National Aeronautics and Space Administration (NASA)
- Northeastern University
- Sveriges Lantbruksuniversitet
- Swiss Federal Institute for Forest, Snow and Landscape Research WSL
- Universitat Autònoma de Barcelona
- University of Amsterdam (UvA); Published yesterday
- University of Colorado
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Mathematics
- Chemistry
- Science
- Materials Science
- Environment
- Humanities
- Earth Sciences
- Linguistics
- Social Sciences
- Psychology
- Electrical Engineering
- Arts and Literature
- Business
- Physics
- Law
- Philosophy
- Education
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
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