Informations générales
Intitulé de l'offre : Postdoc (M/F) in the project Mathematicae Lingua Franca (Malinca) (H/F)
Référence : UMR7351-CARSIM-002
Nombre de Postes : 2
Lieu de travail : NICE
Date de publication : mercredi 11 juin 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 24 mois
Date d'embauche prévue : 1 septembre 2025
Quotité de travail : Complet
Rémunération : between 3021 euros and 4664 euros gross depending on the professional experience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 41 - Mathématiques et interactions des mathématiques
Missions
The recruited person will integrate the team of the Malinca project (http://malinca.org) and will contribute to advancing the project objectives, by pursuing their own research program.
Activités
The recruited person will be in charge of developing aspects of the Malinca project and its applications to the verification of mathematical texts. The activity will follow a unique research project to be defined, developed and implemented. The recruited person will participate in the activities of the Malinca project in Nice and the other centers in Paris, Nancy and Madrid, will interact with the other team members, will help with the organisation of scientific activities, will invite their own visitors, and will communicate their results by publications and conferences.
Compétences
-An advanced level in at least one of the following directions: mathematics including a good understanding of the foundations of a mathematical domaine, programing applicable to the search and verification of proofs, linguistics for the extraction of the semantics of mathematical texts.
-An aptitude for scientific communication.
-Independence and autonomy in the definitino and pursuit of the research project.
-A PhD in mathematics, computer science or linguistics (thesis defended before the start of the contract).
Contexte de travail
The Malinca project (ERC Synergy, http://malinca.org), with centers in Paris, Nancy, Nice and Madrid, aims to develop a new generation of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction of definitions, theorems and proofs.
We would like to apply this to make the use of computer formalisation practical and current for mathematical research writing.
Contraintes et risques
A declaration needs to be made each month on timesheets of a 100% implication in the ERC project.