Logic List Mailing Archive

PhD student position in rational verification & synthesis in multi-agent systems, Utrecht (The Netherlands), Deadline: 15 May 2021

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 15 May 2021 (extended from 30 April 2021)






--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam