Informations générales
Intitulé de l'offre : Research engineer: Knowledge Compilation (M/F) (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
Knowledge compilation is a research field studying data structure representing knowledge bases in a succinct yet tractable way, allowing efficient reasoning on the logical consequences of the knowledge base. In practice, knowledge is encoded as Boolean functions whose models coincides with the models of the knowledge base. Therefore, the most interesting data structures in knowledge compilation are daata structures allowing to represent Boolean function while giving tractable access to knowledge on their models, via enumeration, counting or other aggregates.
One of the most well studied data structure allowing this kind of representations are Ordered Binary Decision Diagrams (OBDD). We are studying generalisation of these structures for enabling them to represent more succinctly hierarchical knowledge while remaining canonical. We have established promising preliminary results but some concrete optimisations are still lacking for these data structures to be competitive with OBDD or other more recent structure.
The successful candidate will help us study these data structures by designing algorithms allowing to mitigate their current weaknesses and will implement a proof of concept knowledge compilation for this new data structure.
Activités
- Improve our new canonical representation of Boolean functions.
- Implement an efficient bottom-up knowledge compiler for this new representation.
- Explore connections with other knowledge compilers such as d4, which is developed and maintained by Jean-Marie Lagniez at CRIL.
Compétences
- Propositional logic
- C++ or Rust
Optional but desired:
- Graph theory (especially tree decompositions)
- Research experience
Contexte de travail
The successful candidate will join the Centre de Recherche en Informatique de Lens (CRIL), based in Lens. This laboratory is specialized in different facets of artificial intelligence. The expected gross salary is 3000€ per month, the exact amount depending on experience.
Contraintes et risques
No specific risk.