[agents] PhD position in Rational Verification and Synthesis in Multi-Agent Systems

[Logan, B.S. (Brian)]

the Department of Computer Science at Utrecht University has a 4 year PhD position in Rational Verification and Synthesis in Multi-Agent Systems. 

The aim of the PhD project is to investigate how  decisions made by one agent in a multi-agent system affect the rational responses of other agents and hence the behaviour of the system as a whole, given a model of the causal relationships in the MAS. The successful applicant will investigate: (a) how automated verification techniques can be used to predict the effects on overall system behaviour of changes to the system; and (b) how to synthesise strategies for a particular agent to achieve an overall system goal when other agents in the system adopt rational strategies. You will work under the supervision of Natasha Alechina, Mehdi Dastani and Brian Logan. 

Full details and how to apply can be found at: 

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-rational-verification-and-synthesis-in-multi-agent-systems-10-fte

The closing date for applications is 15th of May 2021 (extended from 30 April 2021)

— Brian