Post-Doctoral Research Visit F/M Methods for the analysis of quantum cryptographic protocols

Type de contrat : Fixed-term contract

Contrat renouvelable : Oui

Niveau de diplôme exigé : PhD or equivalent

Fonction : Post-Doctoral Research Visit

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 300 people in 17 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 Alastair Abbott, 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 under conditions

Rémunération

2788 € gross salary / month