Postdoc position in mathematics and fondamental computer science (M/F)
New
- Researcher in FTC
- 12 months
- Doctorate
This offer is available in English version
This offer is open to people with a document recognizing their status as a disabled worker.
Offer at a glance
The Unit
Institut de Recherche en Informatique Fondamentale
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
75205 PARIS 13
Contract Duration
12 months
Date of Hire
01/11/2026
Remuneration
From 3131€ gross per month
Apply Application Deadline : 14 October 2026 23:59
Job Description
Missions
• Development of a higher-dimensional algebraic and formal framework which enables one to reason in a modular fashion, independent of the choice of logical and algebraic representation of the concept and definitions
Activity
- Design, implementation and experimentation of a dependent type system with equality integrating elements of linearity and resource,
- Design of a mathematical semantics (Scott domains, dialogue games, intersection types) of this linear dependent type system,
- Integration of resources and effects to homotopy type theory with a concrete implementation perspective
- Comparing Scott models and realisability models of linear dependent type theory
- Auto-formalisation of the fundamental theorems of type theory and denotational semantics using machine learning methods
Your Profil
Skills
- Expert in homological and homotopical algebra
- Expert in category theory and higher dimensional algebra
- Good knowledge of type theory and categorical logic
- English: B2 (European Framework of Reference)
- Ability to conceptualise
- Critical thinking skills
- Organisational skills
- Ability to work in a team
Your Work Environment
The aim of the project is to participate in the development of a new generation of proof assistants that integrate both a linguistic layer and automated assistance tools to guide scientists and facilitate the construction of certified mathematical documents, from the choice of concepts and definitions to the elaboration of theorems and proofs.
Constraints and risks
None
Compensation and benefits
Compensation
From 3131€ gross per month
Annual leave and RTT
44 jours
Remote Working practice and compensation
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
About the offer
| Offer reference | UMR8243-LAUPIN-003 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
| Relevant experience | 1 to 4 years |
About the CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.
Create your alert
Don't miss any opportunity to find the job that's right for you. Register for free and receive new vacancies directly in your mailbox.