The page you are requesting does not exist. You can start your search here!
-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
concepts and working methods. It interacts externally almost exclusively with academia and operates as a truly interdisciplinary team bound to high scientific standards. Through its research, the team acts
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions