Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Luxembourg
- Technical University of Munich
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Aveiro
- International Iberian Nanotechnology Laboratory (INL)
- NEW YORK UNIVERSITY ABU DHABI
- Adam Mickiewicz University, Poznań
- CNRS
- Universidade de Aveiro
- University of Southern Denmark
- Argonne
- Cornell University
- Duke University
- Télécom Paris
- University of Kansas
- University of Minho
- University of Oslo
- Aix-Marseille Université
- Heriot Watt University
- Leibniz
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Oak Ridge National Laboratory
- Peace Research Institute, Oslo (PRIO)
- University of Bergen
- University of Trás-os-Montes and Alto Douro
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Aveiro University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Erasmus University Rotterdam
- Florida International University
- Heriot-Watt University;
- INESC ID
- Inria, the French national research institute for the digital sciences
- Institute of Physical Chemistry, Polish Academy of Sciences
- Institute of Physics of the Czech Academy of Sciences
- Instituto Politécnico de Bragança
- International Institute of Molecular and Cell Biology in Warsaw
- Jagiellonian University
- Linköping University
- Luxembourg Institute of Science and Technology
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute of Molecular Cell Biology and Genetics
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Princeton University
- Radboud University
- SciLifeLab
- Technical University Of Denmark
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa
- Universidade do Minho
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Published 7 Nov ’25
- University of Amsterdam (UvA); Published today
- University of Copenhagen
- University of Gdańsk, Intercollegiate Faculty of Biotechnology
- University of Houston Central Campus
- University of Kansas Medical Center
- University of Ljubljana, Faculty of Mechanical Engineering
- University of Lodz
- University of Minnesota
- University of Oregon
- University of Oxford
- University of Porto
- University of Sydney
- University of Texas at Austin
- University of Twente (UT)
- University of Warsaw
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Uppsala universitet
- VIB
- Virginia Tech
- Wageningen University & Research
- Warsaw University of Technology - Centre for Credible AI
- 72 more »
- « less
-
Field
-
institutions and/or to co-supervise a PhD student. A secondary affiliation to EPFL or UoE may be offered to candidates with the appropriate profile. Appointment is initially for 1 year, and renewable for up to 3
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions