Senior Chip Design Engineer, Formal Verification

NVIDIA NVIDIA · Semiconductors · Tel Aviv, Israel

Senior Chip Design Engineer, Formal Verification for NVIDIA Networking team, working on groundbreaking Switch and GPU technologies. Uses state-of-the-art formal verification tools and methodologies to prove design correctness for chips used in 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 are required

Nice to have

  • Formal verification work experience
  • Team Player
  • Knowledge of digital logic

What the JD emphasized

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