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

  • Cybersécurité : hardware et software,
  • Post-doctorat
  • Paris – Saclay
  • BAC+8
  • 2023-03-01
  • BEN HEDIA Belgacem (DRT/DSCIN/DSCIN/LECA)
Candidater

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)

doctorat en informatique ou micro-électronique ou équivalent

fr_FRFR

Contact us

We will reply as soon as possible...