Postdoc en mathématiques et informatique fondamentale

Missions :
• Développement d’un cadre formel de dimension supérieur dans lequel raisonner de manière modulaire et indépendante du choix de présentation logique et algébrique du concept et définitions
Activités :
• Construction d’un cadre conceptuel et de dimension supérieure pour les mathématiques formalisées
• Rédaction d’articles scientifique et diffusion du savoir
• Coordination et communication entre les différentes disciplines (mathématiques, informatique, linguistique)
Contexte de travail :
Le projet 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.