Job offer

European Commission; France; Sur place; EUR 30 000 - 40 000; Plein temps

Résumé du poste

Une institution de recherche de premier plan recherche un chercheur de premier ordre dans le domaine des méthodes cryptographiques et de la théorie des algorithmes. Le candidat se concentrera sur les preuves à divulgation nulle, leur fondement théorique, leurs constructions pratiques, et leur utilisation dans la cryptographie sécurisée. Cette opportunité est idéale pour un diplômé avec une formation solide en informatique ou mathématiques, désireux de s'engager dans des recherches pertinentes.

Qualifications

• Profil de chercheur de premier ordre avec une formation appropriée en cryptographie et en algorithmes.
• Compétences en théorie de la complexité et en preuvse à divulgation nulle.
• Capacité à travailler sur des applications en cryptographie post-quantique.

Responsabilités

• Explorer les fondements théoriques des preuves à divulgation nulle et leurs constructions pratiques.
• Examiner les connexions entre les protocoles de divulgation nulle et la théorie de la complexité.
• Contribuer à la recherche sur la cryptographie sécurisée et le calcul multi-partite sécurisé.

Connaissances

Cryptographie

Théorie de la complexité

Preuves à divulgation nulle

Algorithmes

Formation

Master en informatique ou mathématiques

Description du poste

Organisation/Company: CNRS

Department: Institut de Recherche en Informatique Fondamentale

Research Field: Computer science, Mathematics > Algorithms

Researcher Profile: First Stage Researcher (R1)

Country: France

Application Deadline: 9 Jul 2025 - 23:59 (UTC)

Type of Contract: Temporary

Job Status: Full-time

Hours Per Week: 35

Offer Starting Date: 1 Oct 2025

Is the job funded through the EU Research Framework Programme? No

Is the Job related to staff position within a Research Infrastructure? No

Offer Description

The team specializes in cryptographic methods, algorithms, and complexity theory, with prominent researchers such as Simon Apers, Christina Boura, Geoffroy Couteau, Pierre Fraigniaud, Iordanis Kerenidis, Sophie Laplante, Frédéric Magniez, Claire Mathieu, Michele Orrù, and Adrian Vladu.

This thesis will focus on zero-knowledge proofs, exploring their theoretical foundations, practical constructions, and applications in secure computation. The research will examine the connections between zero-knowledge protocols and complexity theory, with potential applications in post-quantum cryptography and secure multi-party computation.