Nvidia Formal Verification Engineer 

Israel, North District 

946681449

What you'll be doing:

• In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.

• You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.

• Learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations.

What we need to see:

• BSc in Electrical/Computer Engineering or MSc in Mathematics, or equivalent experience.

• 1-3 years of relevant experience.

• Excellent analytical, logical reasoning and problem-solving skills.

• Strong debugging and analytical skills.

• Strong communication and interpersonal skills are required.

Ways to stand out from the crowd:

• Formal verification work experience.

• Knowledge of digital logic.