-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
ability to accomplish it, as well as the match with a tentative supervision team and teaching obligations. Following this assessment, the decisions are expected to be announced no later than end of 2026
Searches related to model checking
Enter an email to receive alerts for model-checking positions