Doctorant en informatique

École normale supérieure - PSL45 rue d’Ulm 75005 Paris

Notre établissement fait partie de l'Université PSL.Située au cœur de Paris, celle-ci fait dialoguer tous les domaines du savoir, de l'innovation et de la création. Classée parmi les 50 premières universités mondiales, elle forme au plus près de la recherche des chercheurs, artistes, ingénieurs, entrepreneurs ou dirigeants conscients de leur responsabilité sociale, individuelle et collective.

Structure d'accueil

ENVIRONNEMENT DE TRAVAIL

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:

Département d'informatique

Le candidat devra contribuer à la recherche sur la réécriture de requêtes de logiques de description dans le standard GQL. Les résultats de la recherche se présenteront sous la forme d'articles de recherche diffusés lors de conférences et dans des revues internationales, et éventuellement de logiciels et jeux de données.

Spécificités du poste

Membres de l’équipe Valda, en particulier Camille Bourgaux.

Membres de l’équipe BOREAL, en particulier David Carral, et collaborateurs scientifiques dans d’autres établissements.

Contact:

Missions principales

Le candidat devra contribuer à la recherche sur la réécriture de requêtes de logiques de description dans le standard GQL. Les résultats de la recherche se présenteront sous la forme d'articles de recherche diffusés lors de conférences et dans des revues internationales, et éventuellement de logiciels et jeux de données.

Activités principales

• Recherche en logique de description.
• Rédaction d’articles de recherche.

Compétences attendues

Diplôme: Master en informatique

Expérience professionnelle:

• 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…)

Compétences comportementales:

• Travail en équipe

Non discrimination, ouverture et transparence

Notre établissement, comme l'ensemble de l'Université PSL, s’engage à soutenir et promouvoir l’égalité, la diversité et l’inclusion au sein de ses communautés. Nous encourageons les candidatures issues de profils variés, que nous veillerons à sélectionner via un processus de recrutement ouvert et transparent.

Modalités de candidature

Merci d’envoyer votre dossier complet (CV, lettre de motivation) par mail

Camille

Autres informations

Recherche principal Technologie informatique

Recherche secondaire Technologie informatique

Rémunération: Rémunération selon grille et expérience

Type de contrat / de poste: Poste temporaire