Développeur Fullstack Java Kafka Angular H/F, Cholet

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