Lieu : Gennevilliers, France

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 81 000 collaborateurs dans 68 pays. ​

Nos engagements, vos avantages

• Notre savoir-faire technologique

• Notre attention portée à l’équilibre des collaborateurs

• Un environnement inclusif et bienveillant

• Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)

Votre quotidien

Le Campus de Gennevilliers est le cœur des activités de conception, de développement et de soutien des grands systèmes de défense : radiocommunications, réseaux et systèmes d’infrastructure résilients, communications par satellite, combat collaboratif et cybersécurité. Situé au nord de Paris, il est rapidement accessible en transports en commun.

Basé a Toulouse et Gennevilliers, Le service SRE de Thales (50 Personnes) porte les activités d’Évaluation & d’Expertise de la Business Line SCT (Cybersécurité Souveraine) au sein de la GBU SIX.

Sa mission : Fournir des prestations d’Evaluation & d’Expertise SECURITY & SAFETY sur tout type de solution, produit ou système qu’il soit matériel et/ou logiciel.

Au sein du Service, deux grands pôles d’activités :

• Le CESTI Thales, Agréé pour les évaluations Critères Communs et CSPN par l'ANSSI (Agence Nationale de la Sécurité des Systèmes d'Information) et par de nombreux schémas d’évaluation privés, l’équipe d’experts intervient sur une multitude de produits allant de la simple carte à puce à l’équipement satellite et fournit à ses clients internes comme externes des prestations d'évaluation et d'expertise en sécurité de l'information.
• Le laboratoire E3LAB, partenaire du CNES (Centre National d’Etudes Spatiales) depuis 30 ans, qui au travers des moyens de très haut niveau sur une plateforme technique unique en France réalise des évaluations, qualification ou encore des expertises & analyses de défaillances sur tous systèmes ou composants électroniques exploités dans des environnements contraints et sévères. 

Le poste ouvert est pour répondre à un besoin au sein du CESTI

Dans le cadre de son développement sur le site de Gennevilliers, le CESTI s’associe au laboratoire d’expertise sécurité AES et cherche à améliorer ses outils d’audit de projets de sécurité.

Dans ce contexte, le stagiaire enrichit les outils de l’expertise de sécurité pour tester les produits de sécurité.

L'objectif du stage est de faire la preuve formelle d’un logiciel embarqué de sécurité en Lean.

Votre mission

Le stagiaire devra :

• se former à Lean
• se familiariser avec le logiciel à modéliser
• développer un modèle abstrait du logiciel embarqué en Lean
• écrire et prouver les théorèmes exprimant la sécurité du logiciel embarqué
• réécrire le logiciel embarqué en Rust (le logiciel actuel est en C)
• prouver la correspondance avec le logiciel rust et le modèle

L'encadrant connaît bien les méthodes formelles et les produits Thales. L’apprenti pourra donc acquérir les compétences nécessaires pour travailler dans le domaine très prometteur des méthodes formelles appliquées à la sécurité des logiciels.

Votre profil

De formation BAC+5 école d'ingénieur vous recherchez une alternance de 3 ans dans le domaine informatique ?

Compétences souhaitées

Raisonnement mathématique

Anglais scientifique

Première expérience en programmation fonctionnelle (e.g. OCaml)

Première expérience en C

Première expérience en Rust

Veille et adaptation aux nouvelles vulnérabilités

Vous avez de la curiosité pour les tendances, vulnérabilités émergentes et techniques d’attaque innovantes dans les domaines software et hardware.

On vous reconnait pour votre :

Travail en équipe, Curiosité, Attrait pour les challenges, CTF…

Autonomie, Inventivité et goût pour le challenge technique

MOT DE L’ÉQUIPE

Rejoindre notre service, c’est intégrer un laboratoire où l’excellence technique est au cœur de tout ce que nous faisons. Nous travaillons sur des projets variés et stimulants pour des clients mondialement reconnus, ce qui nous pousse chaque jour à nous dépasser et à rester à la pointe des technologies.

Notre force ? une équipe à taille humaine, soudée, où la cohésion et l’entraide sont naturelles.

Si vous aimez les défis techniques, apprendre en permanence et travailler avec des experts passionnés, vous êtes au bon endroit.

Le poste pouvant nécessiter d'accéder à des informations relevant du secret de la défense nationale, la personne retenue fera l'objet d'une procédure d’habilitation, conformément aux dispositions des articles R.2311-1 et suivants du Code de la défense et de l’IGI 1300 SGDSN/PSE du 09 août 2021.Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous !