Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F

Description de l'offre : Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)

Profil du candidat : doctorat en informatique ou micro-électronique ou équivalent