1 multicore "the" Postdoctoral 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

. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore