Preuve formelle de propriétés "safety" sur code Radar en SparkAda-2014 - Limours (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 .

L' activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire , la défense aérienne ainsi que le combat naval et terrestre .

Au cœur de l'Essonne, le site de Limours réunit plus de 900 collaborateurs travaillant de la conception des solutions à la recette avec les clients, en passant par la production, des radars de surface . Ce site a connu ces dernières années de grandes évolutions et continue à s'adapter aux besoins des clients en termes de surveillance du ciel et de zones sensibles.

La Business Unit Radars Processing Embarqué recherche un/une Stagiaire pour étudier la Preuve formelle de propriétés « safety » au code Radar en SparkAda-2014 (H/F)

Basé(e) à Limours.

QUI ETES-VOUS ?

Vous êtes de formation BAC +4/5 avec un intérêt pour l'ingénierie du logiciel et les méthodes formelles ;

Vous êtes organisé(e), rigoureux(se), curieux(se) ;

Vous aimez travailler en équipe.

Venez découvrir notre offre de stage Preuve formelle de propriétés « safety » sur code Radar en SparkAda-2014 de 6 mois.

Au sein de nos équipes, nous vous offrons :
· Du challenge
· Des opportunités de carrière
· Des technologies innovantes pour rendre le monde plus sûr.

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

Au sein de l'équipe de développement et maintenance des logiciels de traitement numérique embarqué des radars civils (contrôle aérien, radars d'approche et « en route »), ce stage s
En nous rejoignant, vous vous verrez confier les missions suivantes :
· Etudier les possibilités de prouver que l'implémentation de ces fonctionnalités est valide via l'utilisation du langage et de l'environnement SparkAda-2014 ;
· Améliorer les logiciels opérationnels.

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 terrestres et aériens ? Cliquez ici .