Ingénieur / Ingénieure d'intégration applicative (H/F)

💼 Offre d'emploi

Type de contrat

Contrat à durée déterminée - 12 Mois

Durée de travail

Expérience

Salaire

Permis demandé

Aucune information

📍 Entreprise

Description de l'offre

Mission :
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.