Sort by
Refine Your Search
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal
-
or Mathematics or Statistics with a strong background in one or more of the following: AI, machine learning, Bayesian statistics, programming languages, logic and algorithms, formal methods, probability and
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions