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

Nouvelle recherche

Offre de stage
Ingénieur.e Génération de code vérifié H/F Offre expirée
THALES

THALES
Stage 6 mois

Détail de l'offre

Quelles sont les missions ?

Le service Cyberprotection Solution Engineering effectue des études d'ingénierie de sécurité en vue de protéger les systèmes ou produits de ses clients (interne Thales). Cette ingénierie revêt différentes formes : expertise de sécurité, architecture de sécurité, ingénierie de spécification et s'appliquent sur des objets de tailles très diverses : du composant de sécurité, au produit HW/SW, jusqu'au système, le tout à des fins de protection des SI et des communications critiques.

Les équipements de sécurité Thales reposent sur des logiciels nécessitant un niveau d'assurance très important. Une partie importante du travail de développement consiste à fournir des preuves de sécurité sur le code. La génération de code formellement vérifié permettrait de diminuer les coûts de développement tout en augmentant le niveau d'assurance du code.

Le stage consistera en l'étude d'outils de génération de code issu de l'initiative DeepSpec et reposant sur l'assistant de preuve Coq.

¿Tu t'es reconnu.e dans cette annonce ? Alors qu'attends-tu pour postuler !

Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd'hui.

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é ?

Des compétences dans les domaines suivants sont nécessaires :

Programmation fonctionnelle
Bases de logique mathématique
Bases de C
Des compétences dans les domaines suivants seraient un plus:

Utilisation d'un assistant de preuve (Coq)
Formalisation des langages

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