2 formal-method-phd Postdoctoral positions at University of Groningen in Netherlands

Postdoc in Computational social choice for AI Safety

University of Groningen | Netherlands | 14 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

Postdoc in computational social choice for AI Safety

University of Groningen | Netherlands | 24 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