- Jobs
- Entreprises
-
Accès recruteur
-
Emploi
- Formation
-
Mon compte
-

Linguistique pour la Vérification du Discours Mathématique H/F CNRS
- Paris 13e - 75
- CDD
- Bac +5
- Service public des collectivités territoriales
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
Hellowork a estimé le salaire pour cette offre
Cette estimation de salaire pour le poste de Linguistique pour la Vérification du Discours Mathématique H/F à Paris est calculée grâce à des offres similaires et aux données de l’INSEE.
Cette fourchette est variable selon expérience.
Salaire brut min
43 400 € / an 3 617 € / mois 23,85 € / heureSalaire brut estimé
52 500 € / an 4 375 € / mois 28,85 € / heureSalaire brut max
67 500 € / an 5 625 € / mois 37,09 € / heureCette information vous semble-t-elle utile ?
Merci pour votre retour !
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
- Paris 13e - 75
- CDD
Créez une alerte
Pour être informé rapidement des nouvelles offres, merci de préciser les critères :
Finalisez votre candidature
sur le site du recruteur
Créez votre compte pour postuler
sur le site du recruteur !
sur le site du recruteur
sur le site du recruteur !
Ces offres pourraient aussi
vous intéresser


Recherches similaires
- Offre emploi Data scientist
- Offre emploi Informatique
- Offre emploi Développeur
- Offre emploi Technicien support informatique
- Offre emploi Développeur Java
- Offre emploi Technicien informatique
- Offre emploi Tech lead
- Entreprises Informatique
- Entreprises Data scientist
- Entreprises Paris
- Offre emploi Fonction publique
- Offre emploi Collectivités
- Offre emploi Fonction publique territoriale
- Offre emploi Data
- Offre emploi Linguistique
- Offre emploi Fonction publique Paris
- Offre emploi Cdd Paris
- Offre emploi Collectivités Paris
- Offre emploi Fonction publique territoriale Paris
- Offre emploi Data Paris
- CNRS Paris
- CNRS Data scientist
{{title}}
{{message}}
{{linkLabel}}