Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- Argonne
- Nature Careers
- Aarhus University
- Duke University
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- CEA
- Delft University of Technology (TU Delft)
- Durham University
- Institute of Physics of the Czech Academy of Sciences
- KTH Royal Institute of Technology
- Linköping University
- Mälardalen University
- New York University
- Technical University of Munich
- Universidade de Aveiro
- University of California Berkeley
- University of Gdansk
- University of Glasgow
- University of Silesia in Katowice
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Zurich Blockchain Center
- 13 more »
- « less
-
Field
-
, develop new research methods and extend the research portfolio. To deal with problems that may affect the achievement of research objectives and deadlines by discussing with the Principal Investigator
-
knowledge is typically achieved through a formal education in computer science, mathematics, or a related field at the PhD level with zero to five years of employment experience. The candidate must have the
-
- 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 software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions