2 formal-methods Postdoctoral research jobs at University of Groningen

Postdoc in Computational social choice for AI Safety

University of Groningen | Netherlands | about 21 hours 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 | 7 days 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