Adresse **QUI SOMMES-NOUS ?**
Les entreprises et les gouvernements comptent sur Thales pour apporter de la confiance aux milliards d'interactions numériques qu'ils établissent avec les utilisateurs. L'Activité Mondiale Identité & Sécurité Numériques (DIS) fournit des technologies et services (des logiciels sécurisés en passant par la biométrie ou encore le cryptage), qui permettent aux entreprises ainsi qu'aux gouvernements de vérifier des identités, et de protéger les données afin qu'elles restent sûres.
**STAGE - Développement Logiciel - H/F**
**QUI ETES-VOUS ?**
Vous êtes en école d'ingénieur ou en master spécialisé en Science et Technologie du Logiciel ?
Vous connaissez le langage Ocaml ?
Vous maitrisez le Développement Logiciel ?
Vous avez des connaissances en gestion de projets ?
Vous parlez aussi bien le français que l'anglais ?
Vous êtes reconnues pour votre esprit d'équipe, votre autonomie et vos capacités relationnelles ?
**CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :**
Au sein de l'équipe Thales IDS R&D, vous participerez au développement, à la validation et à la certification des différents produits logiciels contenant un microcontrôleur.
Ces produits pourront être des passeports, des cartes d'identité, des permis de conduire, des cartes de santé ou tout autre produit géré par une entité gouvernementale...
Votre participation permettra le développement d'outils pour améliorer la validation des produits et faciliter leur certification aux plus hauts niveaux d'assurance (EAL6/EAL7) des critères communs (https://www.commoncriteriaportal.org).
Vous travaillerez dans une équipe internationale d'ingénieurs sur le Campus de Meudon. Pour chacune des missions qui vous seront attribuées, vous devrez:
* Identifier les objectifs, les risques et les difficultés,
* Proposer et implémenter des solutions pour résoudre les différents problèmes,
* Analyser et partager les résultats obtenus avec l'équipe.
Dans le cadre de vos missions vous serez amené à développer une solution logicielle permettant de proposer un haut niveau de support des langages C/ACSL dans des éditeurs de code source et/ou des environnements de Développement intégré (EDI): navigation dans le code C/ACSL, suggestions de complétion et autres interactions possibles avec les analyses de code proposées par Frama-C.
Nous cherchons un candidat motivé par la sécurité logicielle et les méthodes rigoureuses permettant de la garantir.
A la fin de ce stage, vous aurez acquis des connaissances sur différents standards et référentiels de sécurité utilisés dans l'industrie de la carte à puce, et développé une expertise pratique des outils d'analyse de sécurité.
Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d'études.
Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd'hui.
