Job offer

European Commission; France; Sur place; EUR 28 000 - 40 000; Plein temps

Résumé du poste

Une société de recherche de premier plan recherche un chercheur au sein du projet Malinca, consacré à l'avancement de la technologie d'assistant de preuve. Le candidat sera responsable de définir et de développer un projet de recherche unique tout en collaborant avec des équipes internationales. Une connaissance approfondie des mathématiques, de la programmation et des linguistiques est essentielle. Le poste est basé en France, avec une date de début prévue pour septembre 2025.

Qualifications

• Connaissances avancées en mathématiques (y compris fondations) exigées.
• Capacité à communiquer scientifiquement requise.
• Expérience dans la définition et la poursuite de projets de recherche requise.

Responsabilités

• Développer les aspects du projet Malinca et ses applications.
• Participer aux activités scientifiques et organiser des visites.
• Communiquer les résultats à travers des publications et conférences.

Connaissances

Mathématiques

Programmation liée à la vérification

Linguistique pour l'extraction sémantique

Indépendance et autonomie

Formation

PhD en mathématiques, informatique ou linguistique

Description du poste

Organisation/Company: CNRS

Department: Laboratoire Jean-Alexandre Dieudonné

Research Field: Mathematics, History of Science

Researcher Profile: First Stage Researcher (R1)

Country: France

Application Deadline: 2 Jul 2025 - 23:59 (UTC)

Type of Contract: Temporary

Job Status: Full-time

Hours Per Week: 35

Offer Starting Date: 1 Sep 2025

Funding: Horizon Europe - ERC

Research Infrastructure Position: No

Offer Description

The recruited person will join the Malinca project team (http://malinca.org) and contribute to advancing its objectives by pursuing their own research program.

Responsibilities include developing aspects of the Malinca project and its applications to verifying mathematical texts. The activity involves defining, developing, and implementing a unique research project. The person will participate in activities across Nice, Paris, Nancy, and Madrid, interact with team members, organize scientific activities, invite visitors, and communicate results through publications and conferences.

The Malinca project (ERC Synergy, http://malinca.org) aims to develop next-generation proof assistant technology capable of understanding the linguistic structures in high-level mathematical texts. It involves studying logical foundation interpretation mechanisms, creating a linguistic layer to bridge natural language and formal proofs, and developing automation tools for constructing definitions, theorems, and proofs.

The goal is to make computer formalization practical and current for mathematical research writing.

Requirements include:

• Advanced knowledge in at least one of the following: mathematics (including foundations), programming related to proof search and verification, linguistics for semantic extraction from mathematical texts.
• Ability to communicate scientifically.
• Independence and autonomy in defining and pursuing research projects.
• PhD in mathematics, computer science, or linguistics (thesis defended before contract start).