Missions

Ce poste s'inscrit dans la chaire IA INTENDED (https://intended.labri.fr/), dont le but est de développer des méthodes intelligentes, s'appuyant sur l'inférence logique et des connaissances et contraintes formellement représentées, pour traiter les données imparfaites. La personne recrutée participera à l'implémentation, l'optimisation, et l'expérimentation d'algorithmes pour la gestion et l'interrogation de données imparfaites.

Activités

L'objectif principal de ce poste sera de montrer l'intérêt pratique des approches développées dans le projet INTENDED via l'implémentation, l'optimisation, et l'expérimentation d'algorithmes pour la gestion et l'interrogation de données incohérentes. Il s'agit en particulier d'implémentations basées sur des solveurs SAT et ASP qui permettent de poser des requêtes sur des données incohérentes en utilisant diverses sémantiques basées sur les réparations et en tenant compte des préférences de l'utilisateur. L'objectif final sera de fournir un outil facile à utiliser pour présenter et permettre de tester et de comparer facilement les algorithmes développés. Parmi les exemples de tâches concrètes, on peut citer : l'utilisation ou l'adaptation de systèmes de raisonnement existants pour calculer les sous-ensembles incohérents minimaux et les supports de requête, la construction d'encodages et l'interface avec les solveurs SAT et ASP, l'adaptation et le développement de nouvelles bases de connaissances de référence, et la réalisation d'évaluations expérimentales rigoureuses des algorithmes mis en œuvre. En outre, en fonction de ses qualifications et de son expérience antérieure, la personne recrutée peut également s'impliquer dans le développement de nouveaux algorithmes.

Compétences

Les candidats doivent être titulaires d'un diplôme de Master ou ingénieur. Ils doivent faire preuve de solides compétences en programmation et être familiers avec la logique et les techniques d'IA symbolique. En particulier, une expérience dans un ou plusieurs des domaines suivants serait un atout : représentation des connaissances et raisonnement automatique (en particulier, ontologies, logiques de description, raisonnement sur informations incohérentes), bases de données (en particulier, langages de requête, SQL, Datalog), et solveurs / raisonneurs (SAT, ASP, Protégé).

Contexte de travail

La personne recrutée travaillera dans le Laboratoire Bordelais de Recherche en Informatique (LaBRI), une unité mixte de recherche geré par le CNRS, l'Université de Bordeaux, et Bordeaux INP, qui comporte environ 280 membres. Elle participera au groupe de travail RATIO (Reasoning with data, knowledge and constraints) et intégrera l'équipe Méthodes Formelles, qui réunit une cinquantaine de chercheurs qui appliquent des approches formelles (souvent à base de logique) à un éventail de problèmes en informatique. Elle collaborera avec Meghyn Bienvenu (porteuse de la chaire INTENDED) et aura d'amples opportunités d’interagir avec d’autres membres de la chaire et des collaborateurs extérieurs.

Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.

Contraintes et risques

Sans objet