Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- Nature Careers
- University of Aveiro
- University of Luxembourg
- Adam Mickiewicz University, Poznań
- Duke University
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Oak Ridge National Laboratory
- Peace Research Institute, Oslo (PRIO)
- Universidade de Aveiro
- University of Southern Denmark
- Argonne
- Aveiro University
- CNRS
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Heriot Watt University
- INESC ID
- Leibniz
- Technical University of Munich
- Télécom Paris
- UNIVERSITY OF SYDNEY
- University of Amsterdam (UvA); Published today
- University of Oslo
- University of Sydney
- VIB
- 17 more »
- « less
-
Field
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
-
Responsibilities will include developing next-generation genome engineering technologies for gene and cell therapy applications as well as functional genomics. In particular, you will focus on delivery methods
-
- 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