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 !