Stage Bac +5 – Modélisation semi-formelle de la Cybersécurité et Mise en œuvre des processus associés (H/F)

Description de l'offre

QUI SOMMES-NOUS ?

Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité . Fort de 62 000 collaborateurs dans 56 pays , le Groupe bénéficie d'une implantation internationale qui lui permet d'agir au plus près de ses clients, partout dans le monde .

Les 14 000 collaborateurs de l' activité Systèmes d'information et de communication sécurisés développent des systèmes de communications militaires et de numérisation de l'espace de bataille , des systèmes de sécurité urbaine , de protection des États et des infrastructures critiques , ainsi que des solutions de cybersécurité .

Le site de Gennevilliers est le cœur des activités de conception, de développement et de soutien des produits et solutions de radiocommunications des armées, des réseaux d'infrastructures résilients et de communications par satellite , ainsi que des solutions de cybersécurité .
La Direction de la Sécurité des Technologies de l'Information recherche un/une Stage Bac +5 – Modélisation semi-formelle de la Cybersécurité et Mise en œuvre des processus associés (H/F)

Basé(e) à Gennevilliers.

QUI ETES-VOUS ?

Etudiant de dernière année en école d'ingénieur ou équivalent ?
Sensibilisation à la cybersécurité, connaissance d'UML, langages de scripting, Linux/Windows, Java ?

Connaissances théoriques souhaitables : méthodes formelles ou semi-formelles, processus de sécurité type Critères Communs ou EBIOS ou ISO 27001, logique du premier ordre (par ex. logique de Hoare)

Connaissances pratiques souhaitables : atelier de modélisation semi-formel type UML designer ou technologies Eclipse de modélisation (EMF), d'édition graphique (Sirius), de génération (Acceleo), de validation (OCL), développement & scripting, chaîne de développement collaborative type github ou framasoft, développement duaux Linux/Windows, LaTeX

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

L'objectif du stage est l'étude de la modélisation semi-formelle de la Cyber-Sécurité et la mise en œuvre des processus associés en contexte inter-gouvernemental. Le stage se situe donc à l'intersection de la modélisation semi-formelle et de la cybersécurité.

De nombreuses normes régissent la cyber-sécurité au niveau exploitation système (ISO 27001, MEHARI, EBIOS) ou au niveau de la conception (Critères Communs, CSPN). Ces normes sont à peu près toutes indépendantes les unes des autres et les sémantiques les concepts ou les artefacts employés tels que les menaces, les attaques ou les biens sensibles sont peu précises et parfois incohérentes entre elles. Le but de ce stage est de donner les moyens aux experts SSI de modéliser la sécurité et ses processus métiers. Ceci permettra ensuite de comparer la compatibilité des artefacts entre eux.

Les travaux se décomposent en plusieurs étapes :
- la constitution d'un état de l'art qui servira d'introduction au rapport de stage
- la mise en œuvre d'un atelier de modélisation semi-formelle
- la spécialisation de l'environnement de modélisation sur un cas pratique et l'étude de la génération automatique de documents (cible de sécurité par exemple).

La perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre .

Vous souhaitez en savoir plus sur les activités Systèmes d'information et de communication sécurisés ? Cliquez ici et ici .