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

Postdoc in Computational social choice for AI Safety

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