Offre de postdoctorat (H/F) - Vers une traduction fiable du langage naturel en spécifications formelles

Vos missions en quelques mots

Missions : La personne recrutée contribuera notamment aux activités suivantes :

Conception de méthodes de traduction sémantique : développer des approches permettant de traduire des instructions en langage naturel en formules logiques formelles.

Développement d'un langage naturel contrôlé : étudier la définition d'un langage adapté au domaine, intégrant notamment des variables, des appels de fonctions et des éléments issus des arbres de syntaxe abstraite (Abstract Syntax Trees, AST) des contrats intelligents.

Analyse syntaxique et sémantique : concevoir des méthodes de parsing permettant d'identifier les structures linguistiques pertinentes et de construire les représentations sémantiques correspondantes.

Approches fondées sur l'intelligence artificielle : explorer et comparer différentes méthodes, notamment les modèles de langue préentraînés, l'apprentissage par renforcement et les modèles à variables latentes.

Articulation entre méthodes symboliques et neuronales : étudier la complémentarité entre les approches grammaticales et sémantiques formelles et les méthodes d'apprentissage automatique, afin d'améliorer la fiabilité des traductions.

Évaluation expérimentale : définir et mettre en œuvre des protocoles d'évaluation portant sur la fidélité sémantique, la correction logique, la robustesse et l'utilisabilité des méthodes proposées.

Selon les besoins du projet, les travaux pourront également porter sur l'extension des méthodes développées à des textes en langage naturel moins contraint, ainsi que sur la résolution des ambiguïtés et la clarification interactive des spécifications.

Activités : Conception de méthodes de traduction sémantique : traduire les exigences exprimées en langage naturel en formules logiques formelles, notamment en logique temporelle linéaire (LTL). Développement d'un langage naturel contrôlé : définir un langage adapté à la spécification des contrats intelligents, intégrant les variables, les appels de fonctions et les arbres de syntaxe abstraite (AST). Analyse syntaxique et sémantique : concevoir des méthodes de parsing pour identifier les structures linguistiques et générer des représentations logiques. Développement de méthodes d'intelligence artificielle : explorer les modèles de langue préentraînés, l'apprentissage par renforcement et les approches à variables latentes. Combinaison des approches neuronales et symboliques : améliorer la fiabilité et la correction des traductions par l'intégration de contraintes formelles. Évaluation expérimentale : mesurer la fidélité sémantique, la correction logique, la robustesse et l'utilisabilité des méthodes développées. Désambiguïsation et clarification interactive : étendre les méthodes au langage naturel libre et résoudre les ambiguïtés des exigences. Valorisation scientifique : contribuer aux publications et aux travaux de recherche du projet ANR BBSYTER sur la vérification formelle des contrats intelligents. Cont Voir plus sur le site emploi.cnrs.fr...

Profil recherché

Competences : La personne candidate devra être titulaire d'un doctorat, ou être en voie de l'obtenir, en informatique, traitement automatique des langues, linguistique computationnelle, intelligence artificielle, logique, méthodes formelles ou dans une discipline proche.

Une expérience de recherche dans un ou plusieurs des domaines suivants sera particulièrement appréciée :

Traitement automatique des langues, notamment compréhension du langage, analyse sémantique ou parsing sémantique.

Sémantique formelle, grammaires computationnelles ou interface entre syntaxe et sémantique.

Logique formelle, notamment logique temporelle, grammaires catégorielles typées ou formalismes apparentés.

Apprentissage automatique appliqué à la prédiction structurée, à la modélisation du langage ou à la construction de représentations sémantiques.

Raisonnement automatisé, vérification formelle ou traduction de spécifications en langage naturel vers des représentations formelles.

Des connaissances en contrats intelligents, sémantique des langages de programmation, apprentissage par renforcement ou modèles à variables latentes constitueront des atouts supplémentaires.

Les candidatures de personnes issues aussi bien de l'intelligence artificielle et du TAL que de la logique et des méthodes formelles sont encouragées. Un intérêt marqué pour l'articulation entre approches statistiques, neuronales et symboliques sera particulièrement apprécié.

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

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