BAC+5 - Étude du langage Spark pour les logiciels de sécurité (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é .

À Cholet , Thales conçoit, développe, intègre, qualifie, industrialise, produit, déploie et maintien en condition opérationnelle des équipements de radiocommunications et des réseaux tactiques militaires , des équipements et systèmes de guerre électronique ainsi que des solutions de sécurité des systèmes d'informations (cryptage, réseaux, etc). C'est également à Cholet que Thales intègre, industrialise et produit les stations sol des réseaux de communication par satellites.

Au sein de l'unité ITS (Information Technology Security) de THALES, vous intégrez le service en charge du développement des équipements sécurité réseaux civils et militaires, leader sur son marché.

L 'équipe ITS recherche un/une

BAC+5 - Étude du langage Spark pour les logiciels de sécurité (H/F)



Basé(e) à Cholet.

QUI ETES-VOUS ?

En formation diplôme Ingénieur niveau BAC+5, vous recherchez un stage.

Vous connaissez le Langage C /C++.
La connaissance du langage Ada sera un plus.

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

Le langage Ada est utilisé pour une grande partie dans les logiciels ayant une sureté de fonctionnement critique comme les avions, les centrales nucléaires mais aussi dans le domaine bancaire. La dernière évolution de la norme Ada 2012 avec la programmation par contrat mais aussi avec les compléments apportés par l'extension du langage Spark 2014 permet de vérifier formellement le comportement d'un logiciel.
Comment appliquer ces atouts aux logiciels de sécurité ?

En nous rejoignant, vous vous verrez confier les missions suivantes : Vous effectuerez une recherche documentaire pour évaluer la pertinence du langage Spark / Ada en ciblant les caractéristiques particulières des logiciels de sécurité.
Vous évaluerez l'apport qualitatif suivant les critères de qualité usuels (fonctionnalité, utilisabilité, fiabilité, efficacité, portabilité, maintenabilité) par rapport un langage classique (C/C++).
Vous illustrerez avec des exemples open-source ou commerciaux (serveur DNS Ironsides, microkernel Muen, pile TCP/IP AdaCore, Lunar Lander Altran Praxis, MaRTE OS…).
Vous étudierez l'applicabilité de ces apports à des logiciels embarqués.
Vous identifierez et évaluerez les possibilités d'intégration avec les langages C et C++.
Vous expérimenterez l'application de la vérification formelle sur un composant logiciel de sécurité en lui appliquant la technologie Spark avec des propriétés 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 et ici .