Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca)
- Chercheur en contrat CDD
- 24 mois
- Doctorat
This offer is available in English version
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
L'offre en un coup d'oeil
L'unité
Laboratoire Jean-Alexandre Dieudonné
Type de Contrat
Chercheur en contrat CDD
Temps de Travail
Complet
Lieu de Travail
NICE ()
Durée du contrat
24 mois
Date d'Embauche
01/04/2026
Rémuneration
de 3021 à 4664 euros par mois brut en fonction de l'expérience
Postuler Date limite de candidature : mercredi 4 mars 2026 23:59
Description du Poste
Les 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.
L'Activité
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.
Votre Profil
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.
Votre Environnement 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.
Rémunération et avantages
Rémunération
de 3021 à 4664 euros par mois brut en fonction de l'expérience
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
| Référence de l’offre | UMR7351-CARSIM-005 |
|---|---|
| Section(s) CN / Domaine de recherche | Anthropologie et étude comparative des sociétés contemporaines |
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.