2 formal-verification Postdoctoral positions at University of Groningen

Postdoc in Computational social choice for AI Safety

University of Groningen | Netherlands | 2 months ago

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

Postdoc in computational social choice for AI Safety

University of Groningen | Netherlands | 3 months ago

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