Stage: Méthodes Formelles pour la Sécurité des Systèmes

Institut Mines-Télécom; Palaiseau; Sur place; EUR 20 000 - 40 000; Plein temps

Résumé du poste

Une grande école publique d'ingénieurs recherche un stagiaire pour une durée de 6 mois, basé à Palaiseau. Le projet portera sur l'analyse de sécurité des systèmes de communication à l'aide de méthodes formelles. Le candidat idéal doit avoir un master en informatique ou en cyber-sécurité, des compétences en programmation et maîtriser l'anglais. Une expérience préalable en recherche ou en stage est un plus.

Qualifications

• Étudiant en master en informatique ou en cyber-sécurité.
• Des projets de recherche ou des stages antérieurs peuvent renforcer la candidature.
• Connaissance des solveurs pour la sécurité et des clauses de Horn est un atout.

Responsabilités

• Mener des recherches sur les méthodes formelles pour la sécurité.
• Modéliser des scénarios d'attaques dans ProVerif.
• Évaluer les résultats expérimentaux.

Connaissances

Programmation

Méthodes formelles

Cyber-sécurité

Anglais

Formation

Master 1 terminé

Niveau M2 en cours

Outils

ProVerif

SAT/SMT solvers

Description du poste

Une grande école publique d'ingénieurs recherche un stagiaire pour une durée de 6 mois, basé à Palaiseau. Le projet portera sur l'analyse de sécurité des systèmes de communication à l'aide de méthodes formelles. Le candidat idéal doit avoir un master en informatique ou en cyber-sécurité, des compétences en programmation et maîtriser l'anglais. Une expérience préalable en recherche ou en stage est un plus.