Senior Formal Verification Engineer

NVIDIA NVIDIA · Semiconductors · Tel Aviv, Israel

Senior Formal Verification Engineer for NVIDIA Networking team, working on Pre-Silicon design and verification of Switch and GPU technologies. Uses formal verification tools and methodologies to prove design correctness for HPC, AI infrastructures, data-center, network, and storage markets.

What you'd actually do

  1. In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
  2. 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.
  3. You will take part in the AI revolution led by NVIDIA, working on cutting edge architecture.

Skills

Required

  • BSc in Electrical/Computer Engineering or MSc in Mathematics
  • 5+ years of relevant experience in chip design field (design/verification/formal)
  • Excellent analytical, logical reasoning and problem-solving skills
  • Strong debugging and analytical skills
  • Strong communication and interpersonal skills

Nice to have

  • Formal verification work experience
  • Knowledge of digital logic

What the JD emphasized

  • 5+ years of relevant experience in chip design field (design/verification/formal)
  • Formal verification work experience