Informations générales Organisme de rattachement CNRS Référence UMR7351-CARSIM-005 Date de début de diffusion 04/02/2026 Date de parution 14/02/2026 Date de fin de diffusion 25/02/2026 Versant Fonction Publique de l'Etat Catégorie Catégorie A (cadre) Nature de l'emploi Emploi ouvert uniquement aux contractuels Domaine / Métier Recherche - Chercheuse / Chercheur Statut du poste Vacant Intitulé du poste Chercheur (H/F) dans le projet Mathematicae Lingua Franca (Malinca) Descriptif de l'employeur Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l’Enseignement supérieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d’éthique, de déontologie et d’intégrité scientifique. Description du poste 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. 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. Conditions particulières d'exercice Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche. Descriptif du profil recherché Competences : -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. Contraintes et risques : Il faudra faire chaque mois la déclaration sur feuilles de temps d'une implication à 100% dans le projet ERC. Temps plein Oui Rémunération contractuels (en € brut/an) de 3021 à 4664 euros par mois brut en fonction de l'expérience Localisation du poste Europe, France, Provence-Alpes-Côte-D'Azur, Alpes Maritimes (06) Géolocalisation du poste NICE Lieu d'affectation (sans géolocalisation) 06108 NICE (France) Critères candidat Niveau d'études / Diplôme Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français (Seuil)
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.