Nvidia Senior Formal Verification Engineer CPU 

Israel, Tel Aviv District, Tel Aviv-Yafo 

290355564

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.