Stage Ingénieur(e) - Conception et développement d'un filtre de contrôle (H/F)

Description de l'offre

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :
  Le stage consiste à la conception et au développement d'un filtre de contrôle d'accès dynamique pour systèmes critiques à l'aide de méthodes formelles. Il consistera également à se familiariser avec le langage et les outils de développement SPARK (basé sur Ada 2012), les concepts et technologies d'Attribute-Based Access Control.     Dans ce cadre vos missions seront de : 
* Réaliser une preuve de concept du filtre appliqué à un cas d'usage industriel sur un système embarqué fortement contraint,
*  Le comparer sur des critères non-fonctionnels (par ex. performance) à une implémentation fonctionnellement équivalente existant dans un autre langage,
* Faire un retour d'expérience (avec recommandations) sur l'usage du langage et outillage SPARK dans un développement logiciel de sécurité.


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.


--
Pour postuler :
http://thales.contactrh.com/jobs/4529/17010078

Profil recherché

QUI ETES-VOUS ?       Vous êtes de formation Bac+5 type école d'ingénieur ? Vous disposez des connaissances en développement logiciel, Ada ? De même les connaissances suivantes seront appréciées : programmation sécurisée, méthodes formelles, Linux/Ubuntu, systèmes embarqués, ARM mbed. 
Vous avez un bon niveau d'anglais ? Alors n'hésitez pas à postuler !    

À propos de Thales Services S.A.S.

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.        Nos équipes de l'activité Systèmes d'information critiques et cybersécurité fournissent des services et des solutions globales optimisant la performance, la résilience et la sécurité des systèmes d'information afin de faire face aux ruptures technologiques et aux cybermenaces.       Dans le cadre de notre développement, nous recherchons :
Un(e) Ingénieur(e) - Conception et développement d'un filtre de contrôle (H/F) 
Basé(e) à Palaiseau (91).