Finding the best job has never been easier
Share
What you'll be doing:
In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
As a member of our core CPU team, you'll own and be responsible for the verification of differentparts in the CPU.
Work closely with logic design and micro-architecture: understand and take part of uArch definitions.
Find bugs, debug, and define fix options.
What we need to see:
A Bachelor’s Degree in Electrical Engineering, Computer Engineering or Computer Science, or equivalent experience.
5+ years of experience in processor or other related high performance semiconductor designs.
Formal Verification work experience, or other relevant Chip Design experience.
Strong debugging and analytical skills.
Strong communication and interpersonal skills are required along with the work in a dynamic, global team.
These jobs might be a good fit