Ingénieur Vérification Formelle de protocole de communication post-quantique en Squirrel

The offer description be low is in French

Contract type : Fixed-term contract

Renewable contract : Yes

Level of qualifications required : Graduate degree or equivalent

Fonction : Temporary scientific engineer

Level of experience : Recently graduated

Context

Dans le cadre du projet PEPR PQ TLS (https://pepr-pq-tls.cnrs.fr/objectives/), l'objectif est de participer au dévellopement de preuve formelle en utilisant l'assistant de preuve Squirrel, un projet dynamique dont le développement se déroule sur les sites de Rennes , Paris et Nancy.

Assignment

Missions :
Avec l'aide de Charlie Jacomme, la personne recrutée sera amenée à 

  • dévelloper en OCaml de l'outils lui même, notamment en vue de l'amélioration de certains points d'interfaces utilisateurs;
  • l'utilisation de Squirrel pour produire des preuves portant sur un protocol fournissant des garanties post-quantiques.

 

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 : https://squirrel-prover.github.io/

 

Main activities

Principales activés (5 maximum) :

  • mettre à la preuve la qualité de la documentation utilisateur et des tutoriaux de Squirrel et y réaliser des améliorations.
  • participer à la réalisation de preuve ou d'étapes de preuves sur un protocol fournissant des garanties post-quantiques.
  • résolution de bugs et ajout de feature de base à Squirrel.

 

Skills

Compétences techniques et niveau requis :

  • connaissance solide en mathématique, ou cryptographie, ou logique
  • programmation

Langues : Français

Compétences relationnelles :

Compétences additionnelles appréciées :

Benefits package

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
  • Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
  • Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
  • Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Sécurité sociale

Remuneration

A partir de 2692 € brut/mois selon diplômes et expérience