2 algorithm-development-"Multiple" "Prof" PhD positions at Aalborg University in Denmark
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
will be emphasized in the overall assessment. Who we are Aalborg University contributes to the knowledge building of the global society as well as the development of prosperity, welfare and culture
Enter an email to receive alerts for algorithm-development-"Multiple" "Prof" positions