Post-doc Quantum Cryptography and Verification of Quantum Computation

Deadline flexible

Starting date flexible

Contrat type: Post-doc

Duration: 2 years

Keywords: quantum cryptography, quantum computation, new cryptographic primitives

The position is part of an ongoing research program on the verification of quantum computation and the development of advanced cryptographic primitives for both near-term and long-term quantum architectures. The postdoc will join the QAT team, hosted at the Département d’Informatique of the École Normale Supérieure (DI-ENS) in Paris.

They 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.

Applicants should send to qat-hiring[@]inria.fr:

• A CV including publications
• A brief research statement (1–2 pages)
• Contact information for two or three reference letters