STAGE BAC+5 : Réalisation d'un outil d'analyse statique de code source (H/F)

Description de l'offre

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE : Au sein de Thales, vous intégrerez le service chargé du développement d'équipements de sécurité. Il est notamment en charge de la conception, de l'implémentation et de la validation des logiciels embarqués dans ces équipements.Le stage proposé concerne le développement d'un outil d'analyse statique de code permettant de:- définir les règles de codage et de nommage à vérifier- vérifier automatiquement des règles définies.Cet outil pourra être intégré à termes dans le flot de développement des projets afin de vérifier l'homogénéité du code produit.Merci de joindre à votre candidature un CV et une lettre de motivation.

Profil recherché

QUI ETES-VOUS ?Vous étudiez au sein d'une école d'ingénieurs ou Université spécialisée en informatique et recherchez votre stage de fin d'études ?Le domaine de la cybersécurité vous intéresse ?Vous maîtrisez le langage C ?La connaissance des compilateurs GCC, LLVM, CLANG et du logiciel Makefiles serait souhaitable !Vous avez un bon niveau d'anglais oral et écrit ?Vous faite preuve d'autonomie, d'organisation et avez un bon relationnel ?Alors ce stage va vous intéresser !}

À propos de Thales

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 65 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.Le service développement d'équipements de sécurité recherche un/une :STAGE BAC+5 : Réalisation d'un outil d'analyse statique de code source (H/F) Réf : R0043827Basé(e) à Cholet