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