Logic in Multi-agent Systems


Job description

Reasoning about the interplay between actions and time is fundamental for the design and development of intelligent systems such as autonomous and multiagent systems, robotic applications, and service agents. The intended actions of an agent may depend on the intentions of another agent, as well as on other attitudes, like belief, knowledge, goals, and preferences, and they might be revised over time as other attitudes change.

This PhD project focuses on intention revision in multiagent settings. You will:

  1. develop a multiagent temporal logical formalism for reasoning about intentions; 
  2. and use it in a more general revision framework based on the interplay between intentions and other attitudes.

You will also be involved in supporting the preparation of Bachelor’s and Master’s courses, offered by the Department of Information and Computing Sciences. Furthermore, you will teach these courses and supervise student theses. You will be part of the Intelligent Systems group, led by Professor Mehdi Dastani, who will also be your daily supervisor along with Dr. Natasha Alechina and Dr. Dragan Doder.

The position includes research as well as teaching, where the teaching commitments account for 30% of employment time.


We are looking for a candidate with perseverance and a committed spirit. You also have:

  • a Master’s degree in logic, computer science, mathematics, artificial intelligence, or a related field;
  • a solid background in logic (familiarity with temporal logic and belief revision is considered a plus);
  • a basic understanding of AI concepts and techniques (intelligent agents, planning);
  • excellent communication skills in English, both in speech and in writing.


We offer an exciting opportunity to contribute to an ambitious and international education programme with highly motivated students and to conduct your own research project at a renowned research university. You will receive appropriate training, personal supervision, and guidance for both your research and teaching tasks, which will provide an excellent start to an academic career.

In addition, you will have

  • the opportunity to work in a collaborative, social, and dedicated team of Researchers;
  • a full-time position for five years;
  • a full-time gross salary that starts at €2,395 and increases to €3,061 per month (scale P Collective Labour Agreement Dutch Universities (cao));
  • benefits including 8% holiday bonus and 8.3% end-of-year bonus;
  • a pension scheme, partially paid parental leave, and flexible employment conditions based on the Collective Labour Agreement Dutch Universities.

In addition to the employment conditions laid down in the cao for Dutch Universities, Utrecht University has a number of its own arrangements. For example, there are agreements on professional development, leave arrangements and sports. We also give you the opportunity to expand your terms of employment via the Employment Conditions Selection Model. This is how we like to encourage you to continue to grow.

More information about working at the Faculty of Science can be found here.

About the organization

The Department of Information and Computing Sciences is nationally and internationally renowned for its fundamental and applied research in computer science and information science. In our constantly changing (digital) society, the Department of Information and Computing Sciences is constantly looking for new, realistic ways to push the boundaries of both science and social application. We contribute to innovative information technologies through the development and application of new concepts, theories, algorithms, and software methods. Relevant areas of interdisciplinary research include Game Research, Foundations of Complex Systems, Applied Data Science, and Artificial Intelligence.

The Department has, among others, close collaborations with the University Medical Centre, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor’s programmes in Computer Science and Information Science, and six English language Research Master’s programmes in Artificial Intelligence, Business Informatics, Computing Science, Human-Computer Interaction, Game and Media Technology, and Applied Data Science. High enrolment figures and good student ratings make education very successful. The Department currently comprises 17 Chairs and 109 other scientific staff, including Postdocs and PhD candidates.

You will work at the Intelligent Systems group of the Department of Information and Computing Sciences. This group, led by Professor Mehdi Dastani, studies intelligent systems in both fundamental and application-oriented ways, with a special focus on intelligent agents and multi-agent systems. It is composed of Researchers who are experts in various areas of agent technology, including autonomy and decision making. emotions and rationality, interaction design for multi-agent systems, communication and cooperation in multi-agent systems, norms and control in multi-agent systems, reasoning and argumentation in multi-agent systems, adaptive agents and multi-agent learning.

At the Faculty of Science, there are 6 departments to make a fundamental connection with: Biology, Chemistry, Information and Computing Sciences, Mathematics, Pharmaceutical Sciences and Physics. Each of these is made up of distinct institutes that together to focus on answering some of humanity’s most pressing problems. More fundamental still are the individual research groups – the building blocks of our ambitious scientific projects.

Utrecht University is a friendly and ambitious university at the heart of an ancient city. We love to welcome new scientists to our city – a thriving cultural hub that is consistently rated as one of the world’s happiest cities. We are renowned for our innovative interdisciplinary research and our emphasis on inspirational research and excellent education. We are equally well-known for our familiar atmosphere and the can-do attitude of our people. This fundamental connection attracts Researchers, Professors and PhD candidates from all over the globe, making both the university and the Faculty of Science a vibrant international and wonderfully diverse community.

Additional information

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

Do you have a question about the application procedure? Please send an email to science.recruitment@uu.nl.


We welcome employees with a wide variety of backgrounds and perspectives and we attach great importance to diversity and gender balance. Applicants are encouraged to mention any personal circumstances that need to be taken into account, for example, parental leave or military service.

If you have the expertise and the experience to excel in this role, then simply respond via the “Apply now” button! Please enclose the following documents in English:

  • your letter of motivation;
  • your curriculum vitae;
  • the names, telephone numbers, and email addresses of two references;
  • a copy of your MSc certificate or a letter from your MSc thesis supervisor indicating when you are likely to graduate;
  • transcripts showing grades obtained in your Bachelor’s and Master’s courses. 

If this specific opportunity isn’t for you, but you know someone who may be interested, please forward this vacancy to them.

Please note: Due to the current situation regarding the Coronavirus (COVID-19) the process of selection and interviews is subject to change. Initial interviews will most likely be conducted online.


  • a Master’s degree in logic, computer science, mathematics, artificial intelligence, or a related field;
  • a solid background in logic (familiarity with temporal logic and belief revision is considered a plus);
  • a basic understanding of AI concepts and techniques (intelligent agents, planning);
  • excellent communication skills in English, both in speech and in writing.


访问项目链接 招生网站
欧陆, 荷兰 所在地点
带薪项目 项目类别
截止日期 2021-07-01




电话: +31 (0)30 253 35 50