Ingénieur de recherche (H/F)
Référence : UMR5800-MEGBIE-001
- Fonction publique : Fonction publique de l'État
- Employeur : Centre national de la recherche scientifique (CNRS)
- Localisation : 33405 TALENCE (France)
Partager la page
Veuillez pour partager sur Facebook, Twitter et LinkedIn.
- Nature de l’emploi Emploi ouvert uniquement aux contractuels
- Nature du contrat Non renseigné
- Expérience souhaitée Non renseigné
-
Rémunération Fourchette indicative pour les contractuels Entre 3115€ et 3375€ euros bruts mensuels selon l'expérience € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
- Catégorie Catégorie A (cadre)
- Management Non renseigné
- Télétravail possible Non renseigné
Vos missions en quelques mots
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.
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.
Profil recherché
Competences :
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é).
Contraintes et risques :
Sans objet
Niveau d'études minimum requis
- Niveau Niveau 7 Master/diplômes équivalents
- Spécialisation Informatique, traitement de l'information, réseau de transmission des données
Langues
- Français Seuil
Qui sommes-nous ?
Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation.
C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16 000 chercheurs et plus de 16 000 ingénieurs et techniciens), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines.
Depuis plus de 80 ans, le CNRS développe des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit entre ses missions de recherche et le transfert vers la société fait du CNRS un acteur clé de l’innovation en France et dans le monde.
Le partenariat qui lie le CNRS avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires témoignent du potentiel économique de ses travaux de recherche.
À propos de l'offre
-
Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche.
-
Vacant
-
Conceptrice / Concepteur
