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

Nouvelle recherche

Offre d'emploi
Doctorant.e en vérification formelle h/f Offre expirée
THALES

THALES
CDD 12 mois

Détail de l'offre

Quelles sont les missions ?

Les garanties d'intégrité des ordinateurs modernes peuvent se baser sur un élément sécurisé, tel que le TPM (Trusted Platform Module, une puce informatique qui sert à protéger les données, gérer et stocker des artefacts utilisés pour authentifier la plate-forme. Le TPM comprend plusieurs mécanismes de sécurité physique qui le protègent contre la falsification et permettent de

Générer, stocker et limiter l'utilisation des clés de chiffrement;

Authentifier des appareils de la plateforme grâce à la clé RSA unique du TPM;

Assurer l'intégrité de la plateforme en réalisant et en stockant des mesures sur la sécurité.

Ainsi, le TPM ainsi que les logiciels (bibliothèques, applications) qui interagissent avec le TPM constituent la base de confiance de la plate-forme. Il est donc essentiel d'assurer leur bon fonctionnement et l'absence de vulnérabilités. Dans ces couches de confiance, les vulnérabilités sont particulièrement critiques, et la vérification formelle est nécessaire pour assurer leur absence.

Cette thèse permettra d'assurer l'absence d'erreurs et de failles de sécurité dans des solutions à base d'un élément sécurisé. Elle portera sur la vérification formelle des couches de confiance de logiciels qui incluent les bibliothèques et applications s'appuyant sur un élément sécurisé (tel que le TPM).

Guidé.e par vos encadrants, vous allez réaliser la preuve des bibliothèques systèmes autour du TPM ou de la puce ST33 et des applications au-dessus à l'aide d'outils de vérification formelle (tel que Frama-C et ses greffons WP, MetAcsl,...).

Vous allez notamment identifier et spécifier des propriétés de sécurité qui doivent être vérifiées.

Sur le plan scientifique, vous allez résoudre différentes problématiques intéressantes associées à ce sujet (telles que chiffrement, stockage de clefs, preuve à la frontière matériel-logiciel)

Cette thèse vous permettra d'acquérir une solide expertise en spécification et vérification formelle de programmes dans un contexte industriel sur un sujet ambitieux et innovant

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 ?

Vous êtes diplômé.e d'une école d'ingénieur.e ou d'un Master 2 en Informatique spécialisé en Génie Logiciel, Vérification de programme ou équivalent ?

Votre formation vous a permis d'acquérir des connaissances en spécification et vérification de programmes ?

Vous maîtrisez le langage C et avez une bonne connaissance générale des risques de cybersécurité ?

Vous aimez la logique et le raisonnement formel ?

Vous avez un bon niveau en rédaction et vous êtes rigoureux.se , organisé.e dans votre travail ?

Vous aimez travailler en équipe tout en étant autonome dans votre travail ?

Enfin vous avez un excellent niveau d'anglais (Niveau B2 - C1 attendu) ?

Une première expérience d'utilisation d'outils de vérification formelle et des connaissances en sémantique de programme seront appréciées. Une connaissance des technologies à base du TPM serait un plus

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