2,219 programming-languages-"the"-"CNRS"-"U"-"UCL"-"O.P"-"U.S"-"RAEGE-Az" Postdoctoral positions
Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Country- United States
- Netherlands
- Sweden
- Germany
- Denmark
- Morocco
- Spain
- France
- United Kingdom
- Belgium
- Finland
- Poland
- Portugal
- United Arab Emirates
- Hong Kong
- Switzerland
- Luxembourg
- Austria
- Brazil
- Norway
- Canada
- Ireland
- Czech
- China
- Australia
- Croatia
- Romania
- Japan
- Greece
- Italy
- Singapore
- Taiwan
- Cyprus
- Mexico
- Europe
- Qatar
- Saudi Arabia
- South Africa
- Bulgaria
- Faroe Islands
- Iceland
- Isle of Man
- Israel
- Slovenia
- Worldwide
- 35 more »
- « less
 
- 
                Employer- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nature Careers
- NEW YORK UNIVERSITY ABU DHABI
- Ghent University
- THE UNIVERSITY OF HONG KONG
- Technical University of Denmark
- Aarhus University
- Princeton University
- The Ohio State University
- Technical University of Munich
- Emory University
- AALTO UNIVERSITY
- FAPESP - São Paulo Research Foundation
- Rutgers University
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Delft University of Technology (TU Delft)
- UNIVERSITY OF VIENNA
- Argonne
- Forschungszentrum Jülich
- Leibniz
- UNIVERSITY OF HELSINKI
- University of Luxembourg
- Karolinska Institutet (KI)
- Texas A&M University
- Empa
- Lunds universitet
- University of Southern Denmark
- McGill University
- Chalmers tekniska högskola
- Eindhoven University of Technology (TU/e)
- Universitat Autònoma de Barcelona
- University of Aveiro
- University of North Texas at Dallas
- Stanford University
- The University of Arizona
- University of North Carolina at Chapel Hill
- University of Washington
- University of Oslo
- University of Oxford
- Utrecht University
- Delft University of Technology (TU Delft); Delft
- ETH Zürich
- ICN2
- Texas A&M AgriLife
- University College Cork
- University of Groningen
- SUNY University at Buffalo
- Umeå universitet stipendiemodul
- University of Amsterdam (UvA)
- Cornell University
- Delft University of Technology (TU Delft); yesterday published
- KU LEUVEN
- Linköping University
- Umeå University
- Universitat de Barcelona
- University of Lund
- ;
- Aalborg University
- European Space Agency
- Tilburg University
- Veterinärmedizinische Universität Wien (University of Veterinary Medicine Vienna)
- Wageningen University & Research
- Westlake University
- KINGS COLLEGE LONDON
- Kennesaw State University
- Sveriges lantbruksuniversitet
- Universidade de Coimbra
- University of Antwerp
- University of Colorado
- University of Oulu
- University of Sydney
- University of Twente (UT)
- Wageningen University and Research Center
- Washington University in St. Louis
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Carnegie Mellon University
- Inria, the French national research institute for the digital sciences
- Institute for bioengineering of Catalonia, IBEC
- Japan Agency for Marine-Earth Science and Technology
- Leiden University
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- New York University
- Stony Brook University
- University of Bergen
- University of Miami
- University of Turku
- Copenhagen Business School
- Free University of Berlin
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Heidelberg University
- MASARYK UNIVERSITY
- Nantes Université
- Northeastern University
- Télécom Paris
- UNIVERSITY OF SYDNEY
- University of Jyväskylä
- University of Maryland
- Université Grenoble Alpes
- 90 more »
- « less
 
- 
                Field- Computer Science
- Biology
- Medical Sciences
- Economics
- Engineering
- Science
- Mathematics
- Chemistry
- Materials Science
- Environment
- Linguistics
- Humanities
- Earth Sciences
- Social Sciences
- Psychology
- Law
- Electrical Engineering
- Arts and Literature
- Physics
- Philosophy
- Business
- Education
- Design
- Sports and Recreation
- 14 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