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

Au sein des équipes de développement logiciel embarqué cryptographique de Thales, vous évoluerez dans un environnement exigeant où la sécurité et le niveau d'assurance sont essentiels.

Votre objectif sera d'explorer et d'industrialiser 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, prouveurs formels (Alt-Ergo, SMT/SAT), et outils de build et CI/CD.

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 vous reconnaît ?

Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part.L'intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales. Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d'une centaine de disciplines, de l'optique à la physique quantique, du traitement du signal à la connectivité et à l'intelligence artificielle.Rejoindre Thales, c'est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C'est donc être au cœur d'une formidable aventure technique. Une attention portée à l'équilibre des collaborateurs au service de leur réussite.C'est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d'accorder la flexibilité nécessaire à l'équilibre entre vie professionnelle et vie personnelle.Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons. Des parcours professionnels riches.Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire.C'est aussi la possibilité d'évoluer, de changer de fonction ou d'activité, voire de pays. Plus d'infos sur THALES, Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif. Le Groupe investit près de 4 milliards d'euros par an en Recherche & Développement, notamment dans des domaines clés de l'innovation tels que l'IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 81 000 collaborateurs dans 68 pays. Nos engagements, vos avantages * Notre savoir-faire technologique * Notre attention portée à l'équilibre des collaborateurs * Un environnement inclusif et bienveillant * Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…) Votre quotidien Entre Nantes et Angers, proche de la côte Atlantique, notre site de Cholet à dominante R&D et à forte empreinte industrielle, est spécialisé dans les radiocommunications de défense, les systèmes de communications par satellites et les solutions de cybersécurité.