Taro Logo

Senior Formal Verification Engineer

NVIDIA is the world leader in accelerated computing, pioneering solutions in AI and digital twins that transform industries.
Backend
Senior Software Engineer
In-Person
5,000+ Employees
5+ years of experience
AI · Hardware

Description For Senior Formal Verification Engineer

NVIDIA is seeking a Senior Formal Verification Engineer to join their Networking team in Tel Aviv. This role offers an exciting opportunity to work on groundbreaking Switch and GPU technologies within their Pre-Silicon design and verification team. The position involves using state-of-the-art formal verification tools and methodologies to prove design correctness.

The role is central to NVIDIA's development of world-class chip solutions for HPC, AI infrastructures, data-center, network, and storage markets. You'll be involved in micro-architecting, verifying, and delivering smart and high bandwidth multi-port switches. NVIDIA boasts some of the most sophisticated formal tools and methodologies in the industry, which contribute to achieving A0 design tapeouts.

As a Senior Formal Verification Engineer, you'll work in a versatile environment that is educational, dynamic, and ambitious. The position requires strong analytical skills and deep understanding of formal verification methodologies. You'll collaborate with cross-functional teams and contribute to NVIDIA's core technology development.

This is an excellent opportunity for someone with a strong background in chip design and verification who wants to be at the forefront of AI and HPC innovation. NVIDIA offers a collaborative environment where creativity and autonomy are valued, and you'll be working with some of the most forward-thinking professionals in the industry.

The role combines technical expertise with the excitement of working on cutting-edge technologies that are driving the AI revolution. NVIDIA's commitment to fostering a diverse work environment and being an equal opportunity employer makes this an attractive position for professionals looking to make a significant impact in the semiconductor industry.

Last updated 3 days ago

Responsibilities For Senior Formal Verification Engineer

  • Use formal verification algorithms to formally prove the correctness of complicated logic problems
  • Work on ambitious designs along with Pre-Silicon team
  • Take part in developing the next generation of NVIDIA's core technology
  • Participate in the AI revolution led by NVIDIA, working on cutting edge architecture

Requirements For Senior Formal Verification Engineer

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

Interested in this job?

Jobs Related To NVIDIA Senior Formal Verification Engineer