Application of formal methods for interferences management

  • Cyber security : hardware and sofware,
  • PostDoc
  • CEA-List
  • Paris – Saclay
  • Level 8
  • 2023-03-01
  • BEN HEDIA Belgacem (DRT/DSCIN/DSCIN/LECA)
Apply

Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.

doctorat en informatique ou micro-électronique ou équivalent

en_USEN

Contact us

We will reply as soon as possible...