Ingénieur de recherche : compilation de connaissances (H/F)
Référence : UMR8188-FLOCAP-005
- Fonction publique : Fonction publique de l'État
- Employeur : Centre national de la recherche scientifique (CNRS)
- Localisation : 62307 LENS (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 3000 € 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 :
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;
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.
Profil recherché
Competences :
- 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.
Contraintes et risques :
Aucun risque spécifique.
Niveau d'études minimum requis
- Niveau Niveau 6 Licence/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
