PhD Position F/M Post-Quantum Protocol Transition for Internet-of-Things Systems

*Le descriptif de l’offre ci\-dessous est en Anglais*
Type de contrat : CDD

Niveau de diplôme exigé : Bac \+ 5 ou équivalent

Fonction : Doctorant

Contexte et atouts du poste
-------------------------------

The position is funded within the scope of PQ\-LIFE, a Horizon Europe project dedicated to advancing quantum\-resistance for real\-world IoT deployments. PQ\-LIFE brings together a diverse consortium of industrial and academic partners, combining applied research expertise with industry\-driven requirements to deliver tangible, large\-scale impact on the security of connected devices. The PhD candidate will benefit from direct exposure to this collaborative ecosystem, including joint work with consortium partners, participation in project meetings and dissemination activities, and the opportunity to shape outcomes that go beyond academic research into concrete industry adoption.
Mission confiée
-------------------

The PhD project will contribute to the PQ\-LIFE research agenda, from protocol design to verified implementation. The work will be structured around the following three interconnected themes:

• Quantum\-resistant protocol design — specification and analysis of communication protocols for IoT systems that are secure against both classical and quantum adversaries, covering key exchange, authentication, and session management in constrained network environments.


• Formal verification and security modelling of post\-quantum IoT protocol stacks — application of formal methods (e.g. ProVerif, Tamarin, SAPIC\+) to rigorously verify security properties of designed protocols and identify subtle flaws prior to deployment


• Protocol implementation for embedded devices and its formal verification — development of efficient, side\-channel\-aware implementations of the designed protocols on resource\-constrained platforms (ARM Cortex\-M, RISC\-V), paired with formal correctness and security proofs of the resulting code

The exact research focus will be defined jointly with the candidate based on background and interests, and may span multiple themes.
Principales activités
-------------------------

Protocol Design \& Analysis:

• Survey and benchmark existing IoT security protocols against quantum threat models


• Design and specify quantum\-resistant variants of commonly used protocols (TLS 1\.3, EDHOC, OSCORE)


• Evaluate protocol performance under constrained network and energy conditions

Formal Verification:

• Model designed protocols using formal specification languages (e.g. ProVerif, Tamarin, SAPIC\+)


• Prove or disprove security properties against quantum adversaries

Implementation \& Verification:

• Apply formal correctness proofs or equivalence checking to critical implementation components

Dissemination \& Collaboration:

• Publish research findings in top\-tier venues


• Contribute to PQ\-LIFE consortium deliverables, reports, and standardisation inputs


• Present work at project meetings, workshops, and international conferences

Compétences
---------------

Required:

• MSc (or equivalent) in Computer Science, Electrical Engineering,

Cybersecurity, Applied Mathematics, or a closely related field (must be completed before the start date)

• Solid understanding of cryptographic principles and/or network security protocols


• Programming proficiency in C/C\+\+ and/or Python; experience with embedded systems is a plus


• Strong analytical and academic writing skills


• Fluency in English (written and spoken)

Desirable:

• Familiarity with NIST PQC algorithms


• Hands\-on experience with microcontrollers (ARM Cortex\-M, RISC\-V),

FPGAs, or IoT platforms

• Knowledge of formal methods or protocol verification tools (ProVerif, Tamarin, SAPIC\+)


• Prior publications or thesis work in a relevant area

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 (after 6 months of employment) 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

Informations générales
--------------------------

• Thème/Domaine : Réseaux et télécommunications

Système \& réseaux (BAP E)

• Ville : Paris


• Centre Inria : Centre Inria de Paris


• Date de prise de fonction souhaitée : 2026\-10\-01


• Durée de contrat : 3 ans


• Date limite pour postuler : 2026\-06\-30

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.

Consignes pour postuler
---------------------------

Sécurité défense :

Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011\-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

Politique de recrutement :

Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Contacts
------------

• Équipe Inria : AIO


• Directeur de thèse :

Vucinic Malisa / malisa.vucinic@inria.fr
L'essentiel pour réussir
----------------------------

We are seeking a highly motivated PhD candidate. As quantum computing advances threaten current cryptographic standards, the secure transition of constrained IoT devices to quantum\-resistant protocols is one of the most pressing open problems in applied security.

This fully funded doctoral position is within the AIO team, a research group focused on embedded systems. The successful candidate will work under the supervision Dr. Mališa Vučinić and collaborate with national and international academic and industry partners.
A propos d'Inria
--------------------

Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes\-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start\-up. L'institut s'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

Cette annonce provient de indeed. Voir l'annonce originale ↗