Sort by
Refine Your Search
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
, which are based on AAU's problem-based learning model. The department leverages its unique research infrastructure and lab facilities to conduct world-leading fundamental and applied research within
Searches related to model checking
Enter an email to receive alerts for model-checking positions