A 6-month internship starting in 2025 - For students in their last University, Engineering schools (computer science, electronics, embedded systems). […]
Formal methods are used for CPU verification at Codasip. We have several extensions in consideration to improve the verification performances and extend its scope.
As our intern, you will be responsible for analyzing these proposals, selecting one or two, and implementing them as new tools or verification components. They will then be applied to real RISC-V CPUs. […]
Good communication skills and the ability to clearly summarise and share technical...