2022-05050 - PhD Position F/M Explainable Artificial Intelligence for Rule-Based Logical Languages
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

A propos du centre ou de la direction fonctionnelle

The Inria Sophia Antipolis - Méditerranée center counts 34 research teams as well as 7 support departments. The center's staff (about 500 people including 320 Inria employees) is made up of scientists of different nationalities (250 foreigners of 50 nationalities), engineers, technicians and administrative staff. 1/3 of the staff are civil servants, the others are contractual agents. The majority of the center’s research teams are located in Sophia Antipolis and Nice in the Alpes-Maritimes. Four teams are based in Montpellier and two teams are hosted in Bologna in Italy and Athens. The Center is a founding member of Université Côte d'Azur and partner of the I-site MUSE supported by the University of Montpellier.

Contexte et atouts du poste

This offer for a PhD is part of a bilateral project between Inria and the DFKI (German Research Center for Artificial Intelligence), which starts on 01/01/2022, namely R4Agri (Reasoning on Agricultural Data: Integrating metrics and qualitative perspectives). Taking numerical agriculture as the targeted application domain, the overall goal of the R4Agri project is to provide a framework for reasoning about knowledge based on heterogeneous data, with a focus on multi-modal and multi-scale sensor data. Main challenges include context-dependent interpretation of sensor data, which involves reasoning about prior knowledge, and query answering techniques that exploit domain knowledge and accommodate the specificities of data sources in a flexible manner.
The PhD candidate will be a member of the GraphIK team (soon to be called BOREAL), which is a join team between Inria, the LIRMM (CNRS and University of Montpellier) and INRAE.

Mission confiée

The main goal of this PhD is to develop an efficient implementation to compute explanations for entailments over disjunctive Datalog programs. You can find more information about the first step of this project here: https://www-sop.inria.fr/members/David.Carral/files/r4agri-phd-topic.pdf
The secondary goal of this PhD is the use of explanations to enhance the user experience of knowledge engineers in the agricultural domain.

Principales activités

The main goal of the PhD candidate is to do research! For the most part, this includes three things:
1. Reading articles and books.
2. Discussing with other team mates.
3. Writing up your own articles.
4. Solving theorems and implementing experiments.
Ideally, we would like a candidate that is familiar with first-order logic, computability and complexity theory, knowledge representation, statistic/probability… If you do not know if you qualify or not, send us an email and we will let you know : )


Technical skills and level required : I assume that you are somewhat familiar with the syntax and semantics of first-order logic as well as with basic notions from computational theory such as (un)decidability, Turing machines, computational complexity, etc [2]. On top of that, it would be great if you knew a bit about logical languages such as Datalog 2 and/or existential rules (but this is not a strict requirement).

Languages : a good level in English is required (spoken and written English).

Relational skills : enjoying teamwork, being able to convey scientific results in a clear and synthetic way


  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage


Duration: 36 months
Location: Sophia Antipolis, France
Gross Salary per month: 1982€ per month (year 1 & 2) and 2085€ per month (year 3)