Formal Verification Engineer
Job Description
NVIDIA is seeking a Formal Verification Engineer to join their Networking team in Beer Sheva, Israel. This role offers an exciting opportunity to work with a Pre-Silicon design and verification team, focusing on groundbreaking NIC technologies. The position involves using state-of-the-art formal verification tools and methodologies to ensure design correctness. The team delivers world-class CPU interface and offload solutions for AI, HPC, data-center, network, and storage markets. NVIDIA provides sophisticated formal tools and methodologies, helping achieve A0 design tapeouts. The work environment is educational, dynamic, and ambitious, perfect for someone passionate about formal verification and hardware design. The role requires strong analytical skills, problem-solving abilities, and experience with digital logic. As part of NVIDIA's forward-thinking team, you'll contribute to building the future of HPC and data centers while working with some of the industry's most innovative professionals.
Responsibilities For Formal Verification Engineer
- Use formal verification algorithms to formally prove the correctness of complicated logic problems
- Work on ambitious designs with Pre-Silicon team
- Participate in developing the next generation of NVIDIA's core technology
Requirements For Formal Verification Engineer
- BSc in Electrical/Computer Engineering or MSc in Mathematics, or equivalent experience
- 1+ years of relevant experience
- Excellent analytical, logical reasoning and problem-solving skills
- Strong debugging and analytical skills
- Strong communication and interpersonal skills
Related Jobs
