1 proof-checking-postdoc Postdoctoral positions at CEA

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc positions

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

CEA | Corbeil Essonnes, le de France | France | about 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

Searches related to proof checking postdoc

Enter an email to receive alerts for proof-checking-postdoc positions