Alternance Développeur Embarqué C/Frama-C & Preuve Formelle

Une entreprise de technologie recherche un étudiant pour une alternance d'un an en ingénierie développement logiciel embarqué à Cholet, France. Vous aurez l'opportunité de mener des analyses de code C, d'explorer des méthodes de preuve formelle et de contribuer à l'industrialisation de nouvelles pratiques. Les candidats doivent avoir une bonne maîtrise du C, un intérêt pour les environnements embarqués et idéalement des compétences en logique ou sémantique des programmes. Ce poste exige une habilitation pour accéder à des informations sensibles.

#J-18808-Ljbffr