Formal Verification Engineer
Is this the right opportunity for you?
Explore more jobs, compare advertised salaries and see which skills employers want.
Explore careersSearch for a different role
More Software Development jobs →Description
Full-time Multiple Levels US / Canada / India Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads.
We are seeking Formal Verification Engineers at multiple levels from Senior Engineer to Principal level to help prove the Nuvacore CPU correct with formal methods.
As part of the design verification (DV) team , you will turn micro-architecture specifications into properties, build the environments to prove them, and use model checking and equiva…
Get similar jobs in Canada by email
We'll email you when new jobs similar to this one appear.
Similar jobs
Explore more Software Development jobs in Canada.
Finding similar jobs…
Adzuna