1 software-verification-phd Postdoctoral positions at CEA

Post-doc Researcher in formal modeling of microarchitectures for timing analysis of embedded systems H/F

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

to the verification of properties such as temporal anomalies. #CEA-List ; #Post-doc ; ##IoT ; #LI-CB1 ; #Post-doctorat ; #Researcher Profil du candidat You have a PhD in the field of electronics or embedded systems