Ingénieur de recherche : compilation de connaissances (H/F)

CNRS; Lens; Sur place; EUR 60 000 - 80 000; Plein temps

Résumé du poste

Un centre de recherche scientifique à Lens recherche un Ingénieur de recherche pour travailler sur la compilation de connaissances. Le candidat devra avoir une bonne maîtrise du C++ ou du Rust et de la logique propositionnelle. Le poste est à pourvoir dans le cadre d'un contrat de 8 mois avec une rémunération d'environ 3000€/mois.

Qualifications

• Bonne maîtrise de la logique propositionnelle.
• Bonne maîtrise de C++ ou de Rust.
• Compétences optionnelles : théorie des graphes, écriture de papier.

Responsabilités

• Élaborer une structure de données canonique pour des fonctions Booléennes.
• Développer un compilateur de connaissances efficace.
• Explorer des généralisations avec un autre compilateur.

Connaissances

Logique propositionnelle

C++

Rust

Formation

BAC+3/4

Description du poste

Portail > Offres > Offre UMR8188-FLOCAP-005 - Ingénieur de recherche : compilation de connaissances (H/F)

Ingénieur de recherche : compilation de connaissances (H/F)

Cette offre est disponible dans les langues suivantes :

Date Limite Candidature : mercredi 22 octobre 2025 23:59:00 heure de Paris

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler

Informations générales

Intitulé de l'offre : Ingénieur de recherche : compilation de connaissances (H/F)
Référence : UMR8188-FLOCAP-005
Nombre de Postes : 1
Lieu de travail : LENS
Date de publication : mercredi 1 octobre 2025
Type de contrat : IT en contrat CDD
Durée du contrat : 8 mois
Date d'embauche prévue : 1 décembre 2025
Quotité de travail : Complet
Rémunération : 3000
Niveau d'études souhaité : BAC+3/4
Expérience souhaitée : 1 à 4 années
BAP : E - Informatique, Statistiques et Calcul scientifique
Emploi type : Ingenieure ou ingenieur en ingenierie logicielle

Missions

La compilation de connaissances est un domaine de recherche qui s'intéresse à des structures de données permettant une représentation succincte des bases de connaissances tout en permettant de raisonner efficacement sur les conséquences logiques de la base de connaissances. En pratique, les bases de connaissances sont interprétés comme des fonctions Booléennes dont les modèles coincident avec les modèles de la base de connaissances. Les structures de données les plus utiles en compilation de connaissances sont donc des structures permettant de représenter succinctement des fonctions Booléennes tout en permettant d'obtenir efficacement des informations sur leurs modèles, comme par exemple en les énumérant, les comptant etc.

Une des structures la plus connue et étudiée pour ce genre de représentations sont les diagrammes de décision binaires ordonnées (OBDD). Nous étudions des généralisations de ces structures pour leur permettre de représenter plus succinctement des données hiérarchiques tout en restant canoniques. Des résultats théoriques préliminaires et prometteurs ont déjà été établis mais certaines optimisations de la structure sont encore nécessaires pour être compétitif face aux OBDD ou autres structures plus récentes.

Le ou la candidate recruté participera à l'amélioration de la structure de données sous-jacente pour compenser ses faiblesses actuelles et au développement d'un compilateur de connaissances permettant de construire des structures de données dans ce formalisme.

Activités

• Participation à l'élaboration d'une structure de données canonique permettant la représentation efficace de functions Booléennes.
• Développement d'un compilateur de connaissances "bottom-up" efficace pour construire des représentations canoniques.
• Explorer des généralisations et des connexions avec un autre compilateur de connaissances -- d4 -- développé au CRIL par Jean-Marie Lagniez;

Compétences

• Bonne maîtrise de la logique propositionnelle
• Bonne maîtrise de C++ ou de Rust

Compétences optionnelles mais désirées :

• Connaissances en théorie des graphes, décompositions
• Expérience de recherche : écriture de papier, preuves de correction d'algorithmes etc.

Contexte de travail

L'activité sera effectuée au sein du Centre de Recherche en Informatique de Lens. Le CRIL est un laboratoire situé à Lens, spécialisé dans différents aspects de l'intelligence artificielle.

Rémunération : environ 3000€/mois brut par mois selon expérience.

Contraintes et risques

Aucun risque spécifique.