Logic List Mailing Archive

PhD student position in temporal logic, Utrecht (The Netherlands), Deadline: 1 Jul 2021

The Department of Information and Computing Sciences of Utrecht University 
is looking for a PhD student who will work on temporal logic for intention 
revision. The PhD student will be part of the Intelligent Systems group, 
led by Professor Mehdi Dastani, who will also be your supervisor along 
with Dr. Natasha Alechina and Dr. Dragan Doder.

The application deadline is 1 July 2021.

Application submissions and the details about the offer: 
https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/5-year-phd-position-in-logic-in-multi-agent-systems-10-fte

If you have any questions about this position, please contact Dr. Dragan 
Doder, via d.doder@uu.nl<mailto:d.doder@uu.nl>

--
[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