Research Engineer (M/F) in Formal XAI and Combinatorial Optimization
New
- IT in FTC
- 12 months
- BAC+5
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
IT in FTC
Working hHours
Full Time
Workplace
93430 VILLETANEUSE
Contract Duration
12 months
Date of Hire
15/11/2026
Remuneration
Between €3,200 and €3,700 gross per month depending on experience
Apply Application Deadline : 07 September 2026 23:59
Job Description
Missions
The design and implementation of approximation algorithms for computing formal explanations (abductive, contrastive, and probabilistic), based on Fourier analysis of Boolean functions, combinatorial optimization (submodularity, matroids), and constraint programming.
The study of the structural properties (submodularity, supermodularity, curvature) of the error functions under consideration, with the aim of establishing or refining the approximation guarantees associated with the developed algorithms.
Activity
The design and implementation of approximation algorithms for computing formal explanations (abductive, contrastive, and probabilistic), based on Fourier analysis of Boolean functions, combinatorial optimization (submodularity, matroids), and constraint programming.
The study of the structural properties (submodularity, supermodularity, curvature) of the error functions under consideration, with the aim of establishing or refining the approximation guarantees associated with the developed algorithms.
Your Profil
Skills
Minimum Bac+5 qualification: Master's degree in applied mathematics, operations research and decision support, or a Master's degree in computer science with a focus on AI.
Strong background in combinatorial optimization and mathematical modeling, including submodular/supermodular functions, matroids, and approximation algorithms.
Experience with constraint programming (CSP – Constraint Satisfaction Problems) applied to practical modeling and problem-solving tasks.
Knowledge of Fourier analysis of Boolean functions (or, more broadly, discrete harmonic analysis) applied to machine learning would be an advantage.
Good command of Python programming, with knowledge of C being an advantage.
Your Work Environment
Location: LIPN, Université Sorbonne Paris Nord, Villetaneuse, France.
Salary: According to the CNRS/ANR salary scale and the candidate's experience (to be specified).
Funding: ANR JCJC FORM-XAI project (ANR-25-CE23-0146).
Constraints and risks
No risk
Compensation and benefits
Compensation
Between €3,200 and €3,700 gross per month depending on 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-LOUBOU-004 |
|---|---|
| Line of business | IT, Statistics and Scientific Calculation |
| Job Type | Scientific Calculations Expert |
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.