Chercheur postdoctoral (H/F) en complexité de la preuve et compilation de connaissances

Référence : UMR8188-FLOCAP-002

  • Fonction publique : Fonction publique de l'État
  • Employeur : Centre national de la recherche scientifique (CNRS)
  • Localisation : 62307 LENS (France)
Domaine : Recherche
Postuler sur le site employeur

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) de 2 991,58€ à 4 208,37€ brut par mois selon expérience € brut/an
  • Catégorie Catégorie A (cadre)
  • Management Non renseigné
  • Télétravail possible Non renseigné

Vos missions en quelques mots

Missions :
Recherche sur les systèmes de preuves pour des problèmes plus complexes que SAT, donc situé dans des classes de complexité au-delà de NP.
Activités :
La personne recrutée travaillera sur la conception et le développement de système de preuves pour la compilation de connaissances et le comptage de modèle sur différents semi-anneaux, dans le cadre du projet de CPJ "TruKC: Trusted Knowledge Compilers" et que l'on peut voir comme une extension des idées présentées dans [1]. Une partie des travaux sera de nature théorique avec l'élaboration de nouveaux systèmes de preuves, l'étude des forces respectives des différents sytèmes de preuves existants en prouvant à la fois des bornes inférieures et des bornes supérieures sur les tailles de celle-ci. Les travaux pourront être complémentés par des développements pratiques comme la certification d'outils provenant de la compilation de connaissances.

[1] Capelli, Florent. "Knowledge compilation languages as proof systems." Theory and Applications of Satisfiability Testing–SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings 22. Springer International Publishing, 2019.


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.

Profil recherché

Competences :
Formation solide en informatique théorique. Connaissances dans au moins un des domaines suivants souhaitées :
- complexité de la preuve
- compilation de connaissances,
- complexité de comptage
- complexité paramétrée.
Contraintes et risques :

Niveau d'études minimum requis

  • Niveau Niveau 8 Doctorat/diplômes équivalents
  • Spécialisation Formations générales

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.

En savoir plus sur l'employeur

À 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

  • Chercheuse / Chercheur

D'autres offres pourraient vous intéresser