Post-doc Quantum Cryptography and Verification of Quantum Computation

Pepr Quantique; Paris; Sur place; EUR 35 000 - 50 000; Plein temps

Résumé du poste

Pepr Quantique is offering a post-doc position in Paris focused on Quantum Cryptography and the verification of quantum computation. The successful candidate will join the QAT team at the Département d’Informatique of the École Normale Supérieure, engaging in groundbreaking research into zero-knowledge proof systems and cryptographic constructions.

This role requires a PhD in a related field and a strong foundation in quantum cryptography. Applicants should send their CV and contact details for references to qat-hiring[@]inria.fr.

Qualifications

• Strong background in quantum computing and cryptography.
• Experience with research publications in relevant fields.
• Ability to work collaboratively in a team environment.

Responsabilités

• Conduct research in quantum cryptography and verification of quantum computation.
• Develop innovative cryptographic primitives for quantum architectures.
• Pursue advanced topics in zero-knowledge proofs and quantum security.

Connaissances

Quantum cryptography

Zero-knowledge proof systems

Cryptographic constructions

Formation

PhD in Computer Science or related field

Description du poste

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