Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
models can be designed and deployed efficiently on constrained hardware platforms while supporting the reliability and security requirements of cyber-physical energy systems. Tasks The PhD student will
-
candidate will develop and test novel user interfaces that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning algorithms. This work will be evaluated through
-
90 are PhD students, and about 40 % of all employees are internationals. In total, it has more than 600 students in its BSc and MSc programs, which are based on AAU's problem-based learning model
Searches related to model checking
Enter an email to receive alerts for model-checking positions