Post-doc Quantum Cryptography and Verification of Quantum Computation

Il y a 1 jour

Paris, Nouvelle-Aquitaine, France Pepr Quantique Temps plein 35 000 € - 50 000 € Contrat

Post-doc Quantum Cryptography and Verification of Quantum Computation

  • Paris
  • Post-doc

Duration: 2 years

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
  • Contact information for two or three reference letters