[h/f] docrorant(e) analyse syntaxique de textes mathématiques et alignement avec des mathématiques formalisées

Informations générales

Intitulé de l'offre : [H/F] Docrorant(e) Analyse syntaxique de textes mathématiques et alignement avec des mathématiques formalisées
Référence : UMR8243-JEMSAM0-022
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : mercredi 30 juillet 2025
Type de contrat : CDD Doctorant
Durée du contrat : 36 mois
Date de début de la thèse : 1 octobre 2025
Quotité de travail : Complet
Rémunération : La rémunération est d'un minimum de 2200,00 € mensuel
Section(s) CN : 01 - Interactions, particules, noyaux du laboratoire au cosmos

Description du sujet de thèse

Analyse syntaxique de textes mathématiques et alignement avec des mathématiques formalisées

L’objectif de la thèse sera de concevoir et d'implémenter un analyseur syntaxique (ou « parser ») de discours afin d'analyser des documents mathématiques écrits en langue naturelle, et de produire un arbre syntaxique et logique, en s'inspirant des travaux sur la RST (Rhetorical Structure Theory) et la SDRT (Segmented Discourse Representation Theory). Il s'agira de comprendre, de manière à la fois conceptuelle et empirique, comment adapter ces outils à un texte de référence, tel que le livre d'Algèbre de Roger Godement, en français ou en anglais, ainsi qu'à un corpus de textes mathématiques bien choisi. L'un des principaux enjeux de ce travail de thèse sera de construire de manière automatique ou semi-automatique un corpus aligné entre des documents mathématiques écrits en langue naturelle et des scripts de preuve produits dans un assistant à la démonstration.

Contexte de travail

Le poste est financé par le projet ERC Synergie Malinca, et sera mené sous la direction de Benoît Crabbé et Paul-Andre Melliès. Le projet Malinca a pour objectif de participer au développement d’une nouvelle génération d’assistants à la preuve, qui intègrent dans leurs noyaux une couche linguistique et des outils d'assistance automatisée pour guider le scientifique et faciliter la construction de documents mathématiques certifiés, depuis le choix des concepts et des définitions, jusqu’à l'élaboration des théorèmes et des démonstrations.

Contraintes et risques

pas de risques ni contrainte