Formal Verification Engineer
NVIDIA
On-site 🏢 01 September
QA & Testing
Tel Aviv, Israel 🇮🇱 Yokneam, Israel 🇮🇱
We are looking for a Formal Verification Engineer for our NVIDIA Networking team!
This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies. Our Switch team delivers world class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious.
What you'll be doing:
In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
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.
You will work on developing new formal verification methodologies and tactics.
What we need to see:
BSc in Electrical/Computer Engineering or MSc in Mathematics.
1+ years of relevant experience.
Excellent analytical, logical reasoning and problem-solving skills.
Strong debugging and analytical skills.
Strong communication and interpersonal skills are required.
Ways to stand out from the crowd:
Formal verification work experience.
Knowledge of digital logic.
NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers.
Similar jobs
Intern - Quality (Chemist)
On-site 🏢 15 April
QA & Testing
Al Riyadh, Saudi Arabia 🇸🇦
Software QA Engineer Intern - 2025
On-site 🏢 14 October
QA & Testing
Shanghai, China 🇨🇳
Structural Test Engineer (RDSS Intern)
On-site 🏢 06 November
QA & Testing
Hsinchu, Taiwan 🇹🇼
Quality Assurance Engineer Intern - 2025 Internship, Shenzhen, China
On-site 🏢 21 October
QA & Testing
Shenzhen, China 🇨🇳
Software Test Engineering Intern/Co-Op (Undergrad | Winter 2025 | Onsite/Hybrid)
On-site 🏢 27 September
QA & Testing
Ontario, Canada 🇨🇦
DFT Verification Engineer
On-site 🏢 02 October
QA & Testing
Tel Aviv, Israel 🇮🇱 Yokneam, Israel 🇮🇱
First Gen: Quality & Food Safety Intern 2025
On-site 🏢 13 November
QA & Testing
Netherlands 🇳🇱
Formal Verification Engineer - New College Graduate
On-site 🏢 14 June
QA & Testing
Budapest, Hungary 🇭🇺
Formal Verification Engineer
On-site 🏢 08 October
QA & Testing
Tel Aviv, Israel 🇮🇱
Software QA Engineer Intern - 2025
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
2025 ASIC Formal Verification Engineer Intern, Annapurna Labs
On-site 🏢 03 October
Cyber & IT Security
Austin, United States 🇺🇸
SW Developer in Test - fresh graduate
On-site 🏢 08 October
QA & Testing
Brno, Czech Republic 🇨🇿
Intern - Quality
On-site 🏢 15 April
QA & Testing
Al Riyadh, Saudi Arabia 🇸🇦
Software Test Engineering Intern/Co-Op (Undergrad | Summer 2025 | Onsite/Hybrid)
On-site 🏢 04 September
QA & Testing
Ontario, Canada 🇨🇦
IC Test Engineer
On-site 🏢 19 November
QA & Testing
Yokneam, Israel 🇮🇱
Camera Testing Intern - Spring 2025
On-site 🏢 11 November
QA & Testing
California, United States 🇺🇸
Software QA Engineer Intern - 2025
On-site 🏢 21 October
QA & Testing
Shanghai, China 🇨🇳
Chip Design Verification Engineer
On-site 🏢 01 September
QA & Testing
Tel Aviv, Israel 🇮🇱
Early in Career Software Quality Assurance (QA) Engineer / Test Engineer
On-site 🏢 03 December
QA & Testing
Feltham, United Kingdom 🇬🇧
Product Test Engineer (RDSS Intern)
On-site 🏢 20 November
QA & Testing
Hsinchu, Taiwan 🇹🇼
Deep Learning Software QA Engineer Intern
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
Reliability Engineer Intern, Ring
On-site 🏢 29 October
QA & Testing
Taipei, Taiwan 🇹🇼
Estágio em Testes de Software
On-site 🏢 28 October
QA & Testing
Campinas, Brazil 🇧🇷
Software QA Intern, Deep Learning - 2025
On-site 🏢 14 October
QA & Testing
Shanghai, China 🇨🇳
QA Engineer Co-OpLT (Canada Specific)
On-site 🏢 24 October
QA & Testing
Ontario, Canada 🇨🇦
Software QA Engineer Intern - 2025
On-site 🏢 10 October
QA & Testing
Shanghai, China 🇨🇳
Product Test Engineering Intern/Co-Op (Undergrad | Summer 2025 | Onsite/Hybrid)
On-site 🏢 19 September
QA & Testing
Ontario, Canada 🇨🇦
Software QA Engineer Intern - 2025
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
Software Automation Test Development Engineer (RDSS Intern)
On-site 🏢 10 October
QA & Testing
Taipei, Taiwan 🇹🇼
Chip Design Verification Engineer
On-site 🏢 21 November
QA & Testing
Tel Aviv, Israel 🇮🇱
Share this job, spread the word!