Doctorant en informatique (F/H)

Structure d'accueil

Le candidat mènera ses recherches sous la direction de Camille Bourgaux, au sein de l'équipe Valda du département d'informatique de l'ENS-PSL, dans le cadre du pôle d'intelligence artificielle PR(AI)RIE. Valda est une équipe mixte entre Inria, le CNRS et l'ENS-PSL. Plus d'informations sur Valda sont disponibles ici : La thèse sera co-encadrée par David Carral, de l’équipe BOREAL du LIRMM à Montpellier. Plus d'informations sur BOREAL sont disponibles ici :

Compétences attendues

• Diplôme : Master en informatique

Expérience Professionnelle

• Connaissances :
• Très bonnes connaissances en logique, en particulier logiques de description
• Connaissances en théorie des bases de données

Compétences Techniques

• Informatique/mathématiques (rédaction de preuves…)
• Programmation
• Anglais

Compétences Comportementales

• Travail en équipe
• Autonomie