[Event at CIG] Postdoc position at IRIT on planning with others' beliefs and goals

[Andreas HERZIG]

Postdoc position at IRIT on planning with others' beliefs and goals

* Job Description
Coming up with plans to achieve their goals---and more generally 
deciding and learning how to act---are fundamental problems for 
intelligent agents. The traditional focus of AI planning is the 
generation of plans for an individual agent under the hypothesis that no 
other agent intervenes and that the planning agent has perfect knowledge 
of the environment and action pre- and postconditions. More expressive 
forms of planning should include things such as reasoning about other 
agents' beliefs, goals, intentions and actions ('theory of mind'); 
learning from past experiences; monitoring the actual outcome of actions 
and learning possibly unexpected outcomes and dealing with such new 
outcomes. Formal tools such as logics of knowledge and belief, logics of 
goals, intentions and actions, game theory, and learning can be expected 
to be building blocks of such formalisms.
The duration of the contract is 12 months (possibly with an extension). 
Gross salary is between 2.663€ (about 2.131€ net) and 3.783€ (about 
3.027€ net), depending on the experience of the candidate. Starting date 
is September 1, 2023.

* Context
The Institut de Recherche en Informatique de Toulouse (IRIT) is one of 
the biggest computer science labs in France. Its AI Department has a 
long-standing tradition of research in knowledge representation and 
reasoning. IRIT participates in the ANITI project on hybrid AI.
The postdoc position is within the TAILOR network (Trustworthy AI: 
Integrating Learning, Optimization and Reasoning, 
https://tailor-network.eu/) in which CNRS-IRIT takes part, and is part 
of its workpackage WP5 "Deciding and Learning how to Act", possibly in 
connection with WP6 "Learning and reasoning in social contexts". TAILOR 
is one of four networks of excellence working on aspects of trustworthy 
AI funded under the H2020-ICT-48-2020 call.

* Profile and Application
We are looking for a candidate with a background in knowledge 
representation and/or machine learning who is interested in their 
integration in the context of planning. Candidates should send the 
following to Andreas.Herzig at irit.fr before July 14:
• CV;
• Up to 2 reference letters;
• A short proposal of research activities (max 1 page).