Missions
Le projet de stage est consacré à l'analyse de sécurité des systèmes de communication, tels que les protocoles et les services, à l'aide de méthodes formelles. Plus précisément, le/la stagiaire intégrera une équipe de recherche qui étudie les energy games et les prouveurs pour construire et analyser des arbres d'attaques, en collaboration avec un partenaire industriel.
Etudier des solveurs largement utilisés tels que, par exemple, ProVerif et examiner comment attribuer des coûts (prix) et/ou des délais aux scénarios d'attaque correspondants (arbres), afin d'exécuter ensuite des algorithmes ou des solveurs spécialisés (SAT/SMT, model checkers statistiques, etc.).
Activités
1. Mener des recherches dans le domaine des méthodes formelles pour la sécurité, notamment :
2. Participation régulière aux réunions
3. Travail en équipe de recherche
4. Modélisation des scénarios d'attaques dans ProVerif (ou un solveur similaire), analyse, traitement et amélioration du résultat
5. Évaluation expérimentale
2. Présentation et publication des résultats obtenus, notamment :
6. Séminaires et colloques
7. Mémoire de fin d'études
Formation
8. Niveau de formation et/ou expérience requis : M1 terminé, niveau M2 en cours (il s'agit d'un stage de fin d'études)
Compétences, connaissances et expériences indispensables
9. Le projet se situe à l'intersection de deux domaines majeurs de l'informatique : les méthodes formelles et la sécurité. Nous recherchons donc un étudiant en master en informatique (fondamentale) ou en (cyber-) sécurité.
10. Des compétences en programmation sont requises.
11. La maîtrise de l'anglais est indispensable (les réunions de projet se déroulent en anglais).
Capacités et aptitudes souhaitables
12. Des projets de recherche ou des stages antérieurs peuvent renforcer la candidature.
13. La connaissance des solveurs pour la sécurité (par exemple, ProVerif) et des solveurs SAT/SMT est un atout.
14. Des connaissances théoriques sur les clauses de Horn et la théorie des jeux (Energy) sont un atout.
Capacités et aptitudes
15. Curiosité et autonomie en recherche et déploiement
16. Travail en équipe et collaboration
17. Créativité
Informations complémentaires et candidature
18. Date limite de candidature : 04 janvier 2026
19. Nature du contrat : stage de 6 mois
20. Localisation du poste: Palaiseau (91)
21. Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap
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.