Senior Chip Design Engineer, Formal Verification

NVIDIA NVIDIA · Semiconductors · Tel Aviv, Israel

NVIDIA is seeking a Senior Chip Design Engineer specializing in Formal Verification for their Networking team. This role involves using state-of-the-art formal verification tools and methodologies to prove the correctness of complex logic designs for cutting-edge Switch and GPU technologies that power AI infrastructures. The engineer will work on micro-architecting, verifying, and delivering high-bandwidth multi-port switches, contributing to NVIDIA's core technology and the AI revolution.

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
  • 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