Sort by
Refine Your Search
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
on the strengths of the successful candidate, in either the broad direction of principle-based meta-reasoning (formal focus) or applications of automated meta-reasoning to large-scale software systems (engineering
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions