Expoint - all jobs in one place

Finding the best job has never been easier

Limitless High-tech career opportunities - Expoint

Nvidia Formal Verification Engineer 
Israel, Tel Aviv District, Tel Aviv-Yafo 
685752949

31.07.2024

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.

  • You will work on developing new formal verification methodologies and tactics.

What we need to see:

  • BSc in Electrical/Computer Engineering or MSc in Mathematics.

  • 1+ 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.