Fort de plus de 60 ans d’expériences, l’INSTN accompagne les entreprises et organismes à différents stades de leurs projets de développement du capital humain.
Le CEA accueille en ses laboratoires chaque année environ 1600 doctorants.
Thèses
Accueil / Post Doctorat / Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Cybersécurité : hardware et softwareDéfis technologiquesInformatique et logicielsSciences pour l’ingénieur
Résumé du sujet
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)
Laboratoire
Département Systèmes et Circuits Intégrés Numériques (LIST)
DSCIN
Laboratoire Environnement de Conception et Architecture