Post-Doctoral Research Visit F - M Postdoctoral Position Quantum Cryptography And Verification Of Quantum Computation H/F

INRIA

Post-Doctoral Research Visit F/M Postdoctoral Position: Quantum Cryptography and Verification of Quantum Computation
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

Contrat renouvelable : Oui

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Post-Doctorant

Contexte et atouts du poste

The postdoctoral researcher will join the QAT team, hosted at the
Département d'Informatique of the École Normale Supérieure (DI-ENS) in
Paris. The group offers an active and intellectually vibrant environment
at the intersection of quantum information, cryptography, and complexity
theory. The team maintains strong collaborations with national and
international partners and participates in broader initiatives in
quantum technologies. The position is for 24 months, with competitive
salary and support for travel and dissemination.

Mission confiée

** Reducing overhead in verification protocols
:PROPERTIES:
:CUSTOM\_ID: reducing-overhead-in-verification-protocols
:END:
A central goal is to refine known verification schemes---both
interactive and non-interactive---to reach practical overheads
compatible with proof-of-concept demonstrations on current noisy quantum
devices. This includes:

- Improving round complexity, classical and quantum communication costs,
and quantum resource requirements;
- Designing verification procedures that tolerate realistic noise models
without sacrificing cryptographic guarantees;
- Investigating compilation and optimization strategies for verification
circuits, including hybrid classical--quantum approaches.

** Extending the toolbox of secure quantum functionalities
:PROPERTIES:
:CUSTOM\_ID: extending-the-toolbox-of-secure-quantum-functionalities
:END:
The project aims to develop new cryptographic primitives or enhance
existing ones to broaden the landscape of secure quantum protocols.
Potential directions include:

- Computationally secure remote state preparation with reduced quantum
capabilities on the client side;
- Succinct quantum protocols, with a focus on minimizing transcript size
and verifier complexity;
- Using complexity-theoretic reductions to build cryptographically
meaningful trade-offs between security, assumptions, and resource
costs;
- Robustness of protocols to noise either in the NISQ or FTQC regimes.

** Exploring new research questions in quantum cryptography
:PROPERTIES:
:CUSTOM\_ID: exploring-new-research-questions-in-quantum-cryptography
:END:
The postdoc will have the opportunity to pursue innovative topics at the
frontier of quantum cryptography, such as:

- Zero-knowledge proof systems in the quantum setting, with emphasis on
MPC-in-the-Head techniques and possible quantum adaptations;
- Cryptographic constructions for quantum money, including public-key or
noise-tolerant schemes, and security analyses based on quantum
complexity assumptions;
- Connections between these primitives and the verification of quantum
computations, leading to unified frameworks or cross-applicable tools.

Principales activités

Contribute to research within the team's projects and conduct independent research.

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 and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage