Développeur fullstack java kafka angular h/f

ALTERNANCE - Ingénieur développement logiciel embarqué - F/H


Description du poste

Lieu : Cholet, France

Au sein des équipes de développement logiciel embarqué cryptographique, vous explorerez et industrialiserez les nouveaux usages de la preuve formelle sur du code C embarqué afin d’accroître la confiance dans les logiciels délivrés et d’améliorer les pratiques de développement.


Vos missions :

* Analyser le code C cible pour identifier les propriétés prouvables formellement (sécurité mémoire, absence de débordement, invariants) et évaluer la valeur ajoutée (réduction des défauts, robustesse, confiance pour certification).
* Identifier les limites de la preuve formelle : axiomes, outils, coût en temps et maintenabilité.
* Caractériser les bonnes et mauvaises pratiques de développement adaptées à la preuve formelle, et proposer une chaîne outillée permettant son usage en production.

Vous travaillerez avec le langage C, Frama-C et outils associés, les prouveurs formels (Alt-Ergo, SMT/SAT), ainsi que les outils de build et CI/CD.


Votre profil :

* Vous recherchez une alternance d'un an afin de valider un Bac+5 dans le domaine de l'informatique embarquée.
* Vous avez de bonnes connaissances en C.
* Vous avez un intérêt pour les environnements embarqués.
* Dans l'idéal, vous avez des compétences en logique, sémantique des programmes ou méthodes formelles.
* Votre curiosité, votre rigueur et votre aisance avec l'abstraction sont des atouts que l'on reconnaît.

Le poste peut nécessiter d'accéder à des informations relevant du secret de la défense nationale ; la personne retenue fera l'objet d'une procédure d’habilitation, conformément aux dispositions des articles R.2311-1 et suivants du Code de la défense et de l’IGI 1300 SGDSN/PSE du 09 août 2021.

Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez-nous !

#J-18808-Ljbffr