Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca)

CNRS; Nice; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une institution de recherche nationale cherche un chercheur pour le projet Mathematicae Lingua Franca (Malinca) situé à Nice. Le candidat doit posséder un doctorat en mathématiques, informatique ou linguistique, avec plus de 10 ans d'expérience et des compétences avancées en mathématiques et programmation. Le poste implique la participation aux activités du projet et le développement d'un programme de recherche unique. Rémunération entre 3021 et 4664 euros brut par mois.

Qualifications

• Un niveau avancé en mathématiques ou programmation.
• Capacité à communiquer des résultats scientifiques.
• Expérience de recherche significative.

Responsabilités

• Développer et implémenter des projets de recherche.
• Participer aux activités scientifiques du projet Malinca.
• Former des doctorants et jeunes chercheurs.

Connaissances

Compétences en mathématiques

Programmation applicable à la recherche

Linguistique

Aptitude pour la communication scientifique

Indépendance et autonomie

Formation

Doctorat en mathématiques, informatique ou linguistique

Description du poste

Portail > Offres > Offre UMR7351-CARSIM-004 - Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca)

Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca)

Cette offre est disponible dans les langues suivantes :

Date Limite Candidature : jeudi 2 octobre 2025 23:59:00 heure de Paris

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler

Informations générales

Intitulé de l'offre : Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca)
Référence : UMR7351-CARSIM-004
Nombre de Postes : 1
Lieu de travail : NICE
Date de publication : jeudi 11 septembre 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 36 mois
Date d'embauche prévue : 1 novembre 2025
Quotité de travail : Complet
Rémunération : de 3021 à 4664 euros par mois brut
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Plus de 10 années
Section(s) CN : 41 - Mathématiques et interactions des mathématiques

Missions

La personne recrutée intégrera l'équipe du projet Malinca (http://malinca.org) et contribuera à l'avancement des objectifs du projet, via la poursuite de son propre programme de recherches et l'animation scientifique autour des thèmes du projet.

Activités

La personne recrutée sera chargée du développement des aspects du projet Malinca et ses applications à l'étude du raisonnement dans les textes mathématiques. L'activité suivra un projet de recherche unique à définir, developper et implémenter. La personne recrutée participera aux activités du projet Malinca à Nice et aux autres centres Paris, Nancy, et Madrid, interagira avec les autres membres de l'équipe, aidera à l'organisation des activités scientifiques, invitera ses propres visiteurs, et communiquera ses résultats au moyen de publications et conférences. La personne recrutée pourra contribuer à la formation des doctorants et des jeunes chercheurs au sein du projet.

Compétences

• Un niveau avancé dans au moins l'une des directions suivants: mathématiques y compris une bonne compréhension des fondements d'un domaine de mathématiques, programmation applicable à la recherche et la vérification des preuves, linguistique pour l'extraction de la sémantique des textes mathématiques.
• Une aptitude pour la communication scientifique.
• Indépendance et autonomie dans la définition et la poursuite du projet de recherches, avec des résultats importants déjà acquis.
• Doctorat en mathématiques, informatique ou linguistique.

Contexte de travail

Le projet Malinca (ERC Synergy), avec des centres à Paris, Nancy, Nice et Madrid, vise le développement d'une nouvelle génération de technologies d'assistants à la preuve capable de comprendre les structures linguistiques dynamiques trouvées dans les textes mathématiques actuels de haut niveau. Le projet inclut l'étude des mécanismes d'interprétation pour les fondements logiques, une nouvelle couche linguistique représentant les pas intermédiaires entre les textes en langue naturelle et les documents de preuves formalisées, et les outils d'automatisation pour la construction efficace de définitions, théorèmes et preuves. En application nous souhaitons rendre pratique et courant l'utilisation de la formalisation informatique pour les écrits de recherche mathématique.

Contraintes et risques

Il faudra faire chaque mois la déclaration sur feuilles de temps d'une implication à 100% dans le projet ERC.