Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
focuses on the development of secure and trustworthy AI for resource-constrained embedded systems. The research will investigate how machine learning models can be designed and deployed efficiently
-
(www.klinisk.aau.dk) Each department is organized in a number of research groups, and the proposed research project should fit within one of these. The successful candidates will be employed in the relevant department
Searches related to model checking
Enter an email to receive alerts for model-checking positions