Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Fabrizio Pastore
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Domenico Bianculli
Enter an email to receive alerts for software-verification-computer-science-"Prof" positions