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 à
1. comprendre le fonctionnement de messagerie sécurisé post-quantique, en particulier de la messagerie Signal
2. l'utilisation de Squirrel pour produire des preuves portant sur les protocols correspondant.
3. 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) :
4. analyse de protocoles
5. preuve en Squirrel
6. rédaction d'articl
Compétences
Compétences techniques et niveau requis : M2 informatique/cryptographie
Avantages
7. Restauration subventionnée
8. Transports publics remboursés partiellement
9. 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)
10. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
11. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
12. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
13. Accès à la formation professionnelle
14. Sécurité sociale
Rémunération
2300 € brut/mois
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.