News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Two PhD Position in Formal Modelling of Multiagent Systems, Utrecht University (The Netherlands)

Deadline: Monday 20 January 2020

Applications are invited for two PhD positions at the Intelligent Systems group, Department of Information and Computing Sciences, Utrecht University, in the general area of formal modelling of intelligent agents and multi-agent systems, supervised by Prof. Mehdi Dastani and/or Dr Natasha Alechina, possibly jointly with other researchers at Utrecht. Possible topics include, but are not limited to: formal modelling of social systems, synthesis of norms for social systems, verification of learned strategies, verification and synthesis of strategies in multi-agent systems under resource constraints. We are looking for candidates with a good background in modal or temporal logic, understanding of basic AI concepts and techniques (intelligent agents, planning, learning) and some computational background (such as ability to analyse correctness and complexity of algorithms).

For more information, contact Natasha Alechina at .

Please note that this newsitem has been archived, and may contain outdated information or links.