1 proof-checking-postdoc-computerscience Postdoctoral positions at CEA in France

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

instruction sets, knowledge of hardware architecture description languages (HDL) • Formal methods: formal specification language, model-checking environment, SMT solvers, etc. • Experience in terms