Publiée 2 août 2026
Post-Doctoral Research Visit F/M Methods for the analysis of quantum cryptographic protocols
Inria
Lyon, Auvergne-Rhône-Alpes 69061 CEDEX 06, France
CDI
A propos du centre ou de la direction fonctionnelle
The Inria research centre in Lyon is the 9th Inria research centre, formally created in January 2022. It brings together approximately 410 people in 20 research teams and research support services.
Its staff are distributed in Villeurbanne, Lyon Gerland, and Saint-Etienne.
The Lyon centre is active in the fields of software, distributed and high-performance computing, embedded systems, quantum computing and privacy in the digital world, but also in digital health and computational biology.
Contexte et atouts du poste
The position is in the QInfo team. The candidate will collaborate with Omar Fawzi and other members of the team.
Mission confiée
The candidate will conduct research and help with the supervision of masters and PhD students in the team.
Principales activités
Main activities : Further develop the entropy accumulation methodology for the analysis of device independent protocols in quantum cryptography, both in terms of the theoretical framework as well as numerical methods to compute the rates.
Additional activities : Transform numerical bounds into certified ones (potentially using proof assistants)
Avantages
Rémunération
2788 € gross salary / month
The Inria research centre in Lyon is the 9th Inria research centre, formally created in January 2022. It brings together approximately 410 people in 20 research teams and research support services.
Its staff are distributed in Villeurbanne, Lyon Gerland, and Saint-Etienne.
The Lyon centre is active in the fields of software, distributed and high-performance computing, embedded systems, quantum computing and privacy in the digital world, but also in digital health and computational biology.
Contexte et atouts du poste
The position is in the QInfo team. The candidate will collaborate with Omar Fawzi and other members of the team.
Mission confiée
The candidate will conduct research and help with the supervision of masters and PhD students in the team.
Principales activités
Main activities : Further develop the entropy accumulation methodology for the analysis of device independent protocols in quantum cryptography, both in terms of the theoretical framework as well as numerical methods to compute the rates.
Additional activities : Transform numerical bounds into certified ones (potentially using proof assistants)
Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking (90 days / year) and flexible organization of working hours
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
Rémunération
2788 € gross salary / month
