SearchLondonJobs.co.uk

🏛️ London's Premier Job Portal

← Back to London Jobs

Doctorant F/H Vérification formelle de messagerie sécurisée post-quantique

Company: INRIA

Location: Villers-lès-Nancy, London

Posted: June 12, 2026

Apply for This Position

Submit Application

Position Details

Contexte et atouts du poste

Dans le cadre du projet PEPR PQ TLS (

Mission confiée

Missions :
Sous la supervision de Charlie Jacomme et Steve Kremer, la personne recrutée sera amenée à 

  • comprendre le fonctionnement de messagerie sécurisé post-quantique, en particulier de la messagerie Signal

  • l'utilisation de Squirrel pour produire des preuves portant sur les protocols correspondant.

  • rediger des articles de recherche
  • Pour une meilleure connaissance du sujet de recherche proposé :
    Un état de l'art, une bibliographie, des références scientifiques sont disponibles à l'URL suivante, n'hésitez à pas à vous y connecter : 

    Principales activités

    Principales activés (5 maximum) :

  • analyse de protocoles

  • preuve en Squirrel

  • rédaction d'articl
  • Compétences

    Compétences techniques et niveau requis : M2 info...