Aller au contenu principal
CNRS recrutement

Linguistique pour la Vérification du Discours Mathématique H/F CNRS

  • Paris 13e - 75
  • CDD
  • Bac +5
  • Service public des collectivités territoriales
Lire dans l'app

Détail du poste

La personne recrutée intégrera l'équipe du projet Malinca et contribuera à l'avancement des objectifs du projet, via la poursuite de son propre programme de recherches.
Activités
La personne recrutée sera chargé du développement des aspects du projet Malinca et ses applications à la vérification de 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 à Paris et aux autres centres Nancy, Nice 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.

Compétences
-Doctorat en mathématiques, informatique théorique ou linguistique, avant le début du contrat.
-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.
-Indépendance et autonomie dans la définition et la poursuite du projet de recherches.
-Une aptitude pour la communication scientifique.
Contexte de travail

Le projet Malinca (ERC Synergy), situé aux 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.
Le projet Malinca (ERC Synergy), situé aux 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.
Contraintes et risques

Travail sur écran
Travail sur écran

Publiée le 23/10/2025 - Réf : UMR8243-JEMSAM0-024 Nombre de Postes

Linguistique pour la Vérification du Discours Mathématique H/F

CNRS
  • Paris 13e - 75
  • CDD
Publiée le 23/10/2025 - Réf : UMR8243-JEMSAM0-024 Nombre de Postes

Finalisez votre candidature

sur le site du recruteur

Créez votre compte pour postuler

sur le site du recruteur !

Ces offres pourraient aussi
vous intéresser

Generali France recrutement
Generali France recrutement
Saint-Denis - 93
CDI
Télétravail occasionnel
Voir l’offre
il y a 13 jours
Ecosystem recrutement
Courbevoie - 92
CDI
Voir l’offre
il y a 13 jours
Safran recrutement
Safran recrutement
Voir l’offre
il y a 12 jours
Voir plus d'offres
Les sites
L'emploi
  • Offres d'emploi par métier
  • Offres d'emploi par ville
  • Offres d'emploi par entreprise
  • Offres d'emploi par mots clés
L'entreprise
  • Qui sommes-nous ?
  • On recrute
  • Accès client
Les apps
Application Android (nouvelle fenêtre) Application ios (nouvelle fenêtre)
Nous suivre sur :
Informations légales CGU Politique de confidentialité Gérer les traceurs Accessibilité : non conforme Aide et contact