Ingénieur Logiciel Embarqué — Vérification Formelle

Une entreprise technologique internationale située à Cholet, France, recherche un(e) alternant(e) pour valider un Bac+5 en informatique embarquée. Vous serez intégré(e) aux équipes de développement logiciel afin d'explorer les nouveaux usages de la preuve formelle sur du code C. Les candidats doivent avoir de bonnes connaissances en C et un intérêt pour les environnements embarqués. Rejoignez une équipe dynamique et contribuez à des projets innovants en cybersécurité et radiocommunications.

#J-18808-Ljbffr