Postdoctoral Researcher in Computer Logic (M/F)
New
- Researcher in FTC
- 12 mounth
- 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
Laboratoire d'Informatique de Paris-Nord
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
93430 VILLETANEUSE
Contract Duration
12 mounth
Date of Hire
01/10/2026
Remuneration
According to the CNRS pay scale, starting from €3,131 gross per month, depending on postdoctoral experience
Apply Application Deadline : 06 May 2026 23:59
Job Description
Missions
The ANR Diplo project aims at bridging the gap between proof theory and functional and numerical analysis, through the semantics of differential linear logic and programming languages. In particular, this project seeks to lay the foundations for a correspondence between algorithmic computation of differentials or solutions to differential equations and the logical principles at work in linear logic and associated lambda calculi.
The postdoctoral researcher will work on this project under the supervision of Marie Kerjean, and may collaborate with other members of the ANR Diplo project. If the successful candidate wishes, the results obtained may be formalised in the Math-comp Analysis library.
This is a 12-month contract, extendable to 24 months.
Activity
- Conduct research as part of the ANR Diplo project whilst developing your own research project.
- Share the knowledge acquired during the PhD with team members and acquire new knowledge.
- Engage with the Local team at LIPN and the wider national community working on proof theory, programming languages and semantics, and present your work at national and international conferences and workshops.
Your Profil
Skills
- PhD in Computer Science or Mathematics
- Scientific english skills (reading, writing, speaking)
- Ability to work in an international academic environment
- Desirable but not essential skills: knowledge of proof theory and programming language theory; experience with formalisation in Rocq; an interest in analysis and mathematics.
Your Work Environment
The postdoctoral researcher will be based at LIPN, Sorbonne Paris Nord University – Paris 13, Villetaneuse Campus. They will be provided with an office, a workstation and access to the CNRS's IT resources. Domestic and international travel expenses will be covered by the DiPLO project.
Compensation and benefits
Compensation
According to the CNRS pay scale, starting from €3,131 gross per month, depending on postdoctoral experience
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 | UMR7030-MARKER-001 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
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.