Une candidature complète en une minute
Un CV et une lettre de motivation personnalisés, prêts à envoyer.
Stage à l’IRT SystemX, Palaiseau (91). Vous explorerez l’assurance de sécurité pour des protocoles hybrides post-quantiques (TLS 1.3/X.509) et contribuerez à un prototype capable d’analyser des déploiements et de produire des garanties explicites.
Encadré par un ingénieur-chercheur, vous modellerez les garanties des composants, étudierez leur composition et réaliserez des validations expérimentales dans un cadre académique et industriel.
Stage à l’IRT SystemX, Palaiseau (91). Vous explorerez l’assurance de sécurité pour des protocoles hybrides post-quantiques (TLS 1.3/X.509) et contribuerez à un prototype capable d’analyser des déploiements et de produire des garanties explicites.
Encadré par un ingénieur-chercheur, vous modellerez les garanties des composants, étudierez leur composition et réaliserez des validations expérimentales dans un cadre académique et industriel.