2 embedded positions at CEA

Formal Modeling of Clock Glitch Attacks for Security Verification of Processors H/F

CEA | Tournon sur Rhone, Rhone Alpes | France | about 1 month ago

Formal Modeling of Clock Glitch Attacks for Security Verification of Processors H/F Research context Embedded processors are increasingly deployed in security-critical applications, making

Co-design engineer for future computing architectures in HPC - M/F

CEA | Corbeil Essonnes, le de France | France | 2 months ago

, electronics or embedded systems. Required skills/knowledge: -HW description languages: SystemC, VHDL, Verilog, SystemVerilog, CHISEL - Knowledge of digital electronic architecture (processors, Caches, NoC