Désolé, cette offre est expirée.
Nous vous invitons à effectuer une nouvelle recherche.

Nouvelle recherche

Offre de stage
Ingénieur.e cybersécurité / SPARK Ada H/F Offre expirée
THALES

THALES
Stage 6 mois

Détail de l'offre

Quelles sont les missions ?

Le stage se déroulera au sein d'une équipe d'ingénieurs spécialisés en cyber-sécurité. Dans ce domaine, l'expert sécurité accompagne les travaux de développement. Il mène différentes activités telles que la rédaction d'exigences de sécurité, la vérification de traçabilités, et la relecture de code.

Pour compléter l'activité de relecture, il est intéressant de pouvoir s'appuyer sur des outils, l'objectif étant d'amener les preuves d'assurance suffisantes en fonction du niveau de sécurité visé. En particulier, les outils d'analyse formelle permettent d'apporter la preuve d'absence de RTE (Run Time Error) dans un programme. Il est également possible de prouver fonctionnellement un programme.

Le stage s'inscrit dans la continuité de l'étude du langage SPARK Ada pour la vérification formelle au sein du laboratoire. Il consiste en la réalisation d'une preuve de concept d'un programme prouvé formellement s'exécutant sur une carte électronique (STM32 par exemple).

Le stage fait partie de la démarche de recherche et d'innovation du laboratoire et sera ainsi l'occasion de partager les connaissances acquises avec les membres de l'équipe.

Missions :

Etude et montée en compétence sur le langage et les outils de vérification SPARK Ada, possibilité de se baser sur un travail existant.
Conception et implémentation d'un logiciel en SPARK Ada sur cible embarquée.
Preuve formelle du logiciel (sur PC).
Retour d'expérience sur l'utilisation de SPARK Ada en embarqué.
Rédaction d'un rapport et préparation de la soutenance.
Tu t'es reconnu.e dans cette annonce ? Alors qu'attends-tu pour postuler !

Lire la suite

Quel est le profil idéal ?

Etudiant.e en dernière année d'école d'ingénieur ou équivalent, vous êtes à la recherche d'un stage de 6 mois dans le domaine de la cybersécurité ?

Compétences obligatoires :

Connaissances en développement embarqué
Apprentissage en autonomie
Compétences souhaitées :

Connaissances de base en sécurité logicielle

Pourquoi les rejoindre ?

Ceux qui font avancer le monde s'appuient sur Thales
Dans un monde en constante mutation, à la fois imprévisible et riche d'opportunités, nous sommes aux côtés de ceux qui ont de grandes ambitions : rendre le monde meilleur et plus sûr.

Riches de la diversité de leurs expertises, de leurs talents, de leurs cultures, nos équipes d'architectes conçoivent un éventail unique de solutions technologiques d'exception, qui rendent demain possible dès aujourd'hui.

Du fond des océans aux profondeurs du cosmos ou du cyberespace, nous aidons nos clients à maîtriser des environnements toujours plus complexes pour prendre des décisions rapides, efficaces, à chaque moment décisif, quel que soit l'enjeu.

Partout où des décisions critiques doivent être prises, Thales est présent.

Nous servons cinq grands secteurs essentiels pour le développement de nos sociétés : Aéronautique, Espace, Transport terrestre, Sécurité et Défense.

 
Dépôt CV
Montrez vos talents, 15 000 recruteurs vous attendent

Je dépose mon CV dans la CV-thèque

Doc, Docx, rtf, pdf (3 Mo. max)

D'autres offres vous attendent sur Cadremploi
Continuez sur votre lancée ! Découvrez d'autres offres similaires à celle-ci
OU
Continuer ma recherche
Soyez le premier prévenu !

Recevez les offres similaires à cette annonce

En créant votre alerte, vous acceptez les conditions d'utilisation

Alerte active Vous recevrez par email les offres correspondant à la recherche

Gérer mes alertes