ALTERNANCE - Développement d’un logiciel de sécurité et preuve formelle en Coq F/H

Le 19 mars

Critères de l'offre

  • Ingénieur sécurité des systèmes d'information (H/F)
  • Gennevilliers (92)
  • CDI , Alternance / professionnalisation , Alternance / Apprentissage
  • Temps Plein
  • Secteur : Industries des composants & équipements
  • Expérience requise : 1-2 ans
  • Langues souhaitées : Anglais
  • Niveau d'études : Diplôme de grande école d'ingénieur , Bac+5

L'entreprise : THALES

Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part. L'intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales. Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d'une centaine de disciplines, de l'optique à la physique quantique, du traitement du signal à la connectivité et à l'intelligence artificielle. Rejoindre Thales, c'est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C'est donc être au cœur d'une formidable aventure technique. Une attention portée à l'équilibre des collaborateurs au service de leur réussite. C'est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d'accorder la flexibilité nécessaire à l'équilibre entre vie professionnelle et vie personnelle. Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons. Des parcours professionnels riches. Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire. C'est aussi la possibilité d'évoluer, de changer de fonction ou d'activité, voire de pays.
Voir plus de contenus

Description du poste

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.

Votre quotidien

Le pôle réseau et radio du domaine de cybersécurité SSI (Sécurité des Systèmes d'Information) traite les problématiques de sécurité des réseaux et des réseaux de radio essentiellement pour des programmes de Défense.

Le laboratoire d'expertise sécurité AES cherche à améliorer ses outils d'audit de projets de sécurité. Dans ce contexte, l'apprenti enrichit les outils de l'expertise de sécurité pour tester les produits de sécurité.

L'objectif de l'alternance est de développer un logiciel de sécurité et de faire une preuve formelle de sa sécurité en Coq.

Deux sujets sont possibles. L'un, l'autre ou les deux peuvent être réalisés selon les appétences de l'apprenti.

Le premier sujet consiste à développer un logiciel embarqué de sécurité en C, puis à prouver sa sécurité en Coq.

Un logiciel embarqué de sécurité est un logiciel qui s'exécute sur un composant électronique et qui assure des fonctions de sécurité pour le composant, parmi lesquelles l'injection sécurisée de données dans le composant, le stockage sécurisé de ces données, le déploiement sécurisé de ces données sur une interface, la gestion du cycle de vie du composant ou encore la gestion d'un journal de sécurité.

Coq est un langage qui permet à la fois de développer des logiciels (une partie de Coq est très proche d'OCaml), d'écrire des théorèmes et d'écrire les preuves de ces théorèmes.

L'apprenti devra :

  • développer le logiciel en C
  • se former à Coq
  • développer un modèle du logiciel en Coq
  • écrire les théorèmes portant sur la sécurité du logiciel
  • prouver ces théorèmes

Le deuxième sujet consiste à développer un filtre de données pour le data-centric security directement en Coq et de faire sa preuve en Coq. Le code sera ensuite extrait vers OCaml, ce qui ne nécessitera donc pas de développement en C.

L'encadrant connaît bien C et Coq. 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 ingénieur ou équivalent, vous recherchez une alternance pour 2 ans dans le domaine des réseaux ?

Compétences obligatoires :

  • langage C (sauf si l'apprenti souhaite faire uniquement le 2e sujet)
  • Raisonnement mathématique
  • Anglais scientifique

Compétences souhaitées :

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

Mot de l'équipe

Vous vous reconnaissez ? Alors, ce poste est fait pour vous !

Vous avez de bonnes chances de vous épanouir dans notre équipe ! Thales reconnait tous les talents, la diversité est notre meilleur atout. Postulez et rejoignez-nous.

Thales reconnait tous les talents, la diversité est notre meilleur atout. Postulez et rejoignez nous !

Salaire et avantages

Salaire : Salaire selon profil


Référence : 25465032

Créez votre profil pour postuler à cette offre