Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Duke University
- University of Aveiro
- Aarhus University
- University of Luxembourg
- University of Oslo
- Adam Mickiewicz University, Poznań
- Argonne
- CNRS
- Heriot Watt University
- INESC ID
- Leibniz
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Technical University of Munich
- Universidade de Aveiro
- University of Southern Denmark
- University of Sydney
- University of Virginia
- 10 more »
- « less
-
Field
-
animal species, generating standardized data that works effectively across diverse languages and cultural contexts while eliminating traditional barriers of recall bias. These methods are being deployed in
-
- 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