2 computer-hardware positions at CEA

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

CEA | Tournon sur Rhone, Rhone Alpes | France | 25 days ago

validated. In parallel, CEA-List has developed µArchiFI [3-4], a formal framework enabling pre-silicon analysis of fault injection effects at RTL level, from hardware implementation details up to software

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

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

We are looking for a co-design engineer for future computing architectures in HPC. This position, in a fixed-term contract, is based at the Nano-Innov site of Paris-Saclay, Essonne (91). As part of