Sort by
Refine Your Search
-
- 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
-
University Munich (www.tum.de). Accordingly, we are currently searching for PhD Students and Postdocs to join our team! PhD Students For PhD students, we are looking for persons that are willing to learn and
Searches related to software verification phd
Enter an email to receive alerts for software-verification-phd positions