Formal Verification Engineer
NVIDIA
On-site 🏢 08 October
QA & Testing
Tel Aviv, 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-4 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
Reliability Engineer Intern, Ring
On-site 🏢 29 October
QA & Testing
Taipei, Taiwan 🇹🇼
Intern - Quality (Chemist)
On-site 🏢 15 April
QA & Testing
Al Riyadh, Saudi Arabia 🇸🇦
Deep Learning Software QA Engineer Intern
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
Early in Career Software Quality Assurance (QA) Engineer / Test Engineer
On-site 🏢 03 December
QA & Testing
Feltham, United Kingdom 🇬🇧
Software QA Engineer Intern - 2025
On-site 🏢 10 October
QA & Testing
Shanghai, China 🇨🇳
Software QA Engineer Intern - 2025
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
Product Test Engineer (RDSS Intern)
On-site 🏢 20 November
QA & Testing
Hsinchu, Taiwan 🇹🇼
Formal Verification Engineer - New College Graduate
On-site 🏢 14 June
QA & Testing
Budapest, Hungary 🇭🇺
Formal Verification Engineer
On-site 🏢 01 September
QA & Testing
Tel Aviv, Israel 🇮🇱 Yokneam, Israel 🇮🇱
Chip Design Verification Engineer
On-site 🏢 01 September
QA & Testing
Tel Aviv, Israel 🇮🇱
SW Developer in Test - fresh graduate
On-site 🏢 08 October
QA & Testing
Brno, Czech Republic 🇨🇿
2025 ASIC Formal Verification Engineer Intern, Annapurna Labs
On-site 🏢 03 October
Cyber & IT Security
Austin, United States 🇺🇸
QA Engineer Co-OpLT (Canada Specific)
On-site 🏢 24 October
QA & Testing
Ontario, Canada 🇨🇦
Camera Testing Intern - Spring 2025
On-site 🏢 11 November
QA & Testing
California, United States 🇺🇸
Intern - Quality
On-site 🏢 15 April
QA & Testing
Al Riyadh, Saudi Arabia 🇸🇦
Estágio em Testes de Software
On-site 🏢 28 October
QA & Testing
Campinas, Brazil 🇧🇷
IC Test Engineer
On-site 🏢 19 November
QA & Testing
Yokneam, Israel 🇮🇱
Product Test Engineering Intern/Co-Op (Undergrad | Summer 2025 | Onsite/Hybrid)
On-site 🏢 19 September
QA & Testing
Ontario, Canada 🇨🇦
Software Test Engineering Intern/Co-Op (Undergrad | Winter 2025 | Onsite/Hybrid)
On-site 🏢 27 September
QA & Testing
Ontario, Canada 🇨🇦
Software QA Engineer Intern - 2025
On-site 🏢 14 October
QA & Testing
Shanghai, China 🇨🇳
Chip Design Verification Engineer
On-site 🏢 21 November
QA & Testing
Tel Aviv, Israel 🇮🇱
Structural Test Engineer (RDSS Intern)
On-site 🏢 06 November
QA & Testing
Hsinchu, Taiwan 🇹🇼
First Gen: Quality & Food Safety Intern 2025
On-site 🏢 13 November
QA & Testing
Netherlands 🇳🇱
Quality Assurance Engineer Intern - 2025 Internship, Shenzhen, China
On-site 🏢 21 October
QA & Testing
Shenzhen, China 🇨🇳
Software Automation Test Development Engineer (RDSS Intern)
On-site 🏢 10 October
QA & Testing
Taipei, Taiwan 🇹🇼
Software Test Engineering Intern/Co-Op (Undergrad | Summer 2025 | Onsite/Hybrid)
On-site 🏢 04 September
QA & Testing
Ontario, Canada 🇨🇦
Software QA Intern, Deep Learning - 2025
On-site 🏢 14 October
QA & Testing
Shanghai, China 🇨🇳
Software QA Engineer Intern - 2025
On-site 🏢 21 October
QA & Testing
Shanghai, China 🇨🇳
DFT Verification Engineer
On-site 🏢 02 October
QA & Testing
Tel Aviv, Israel 🇮🇱 Yokneam, Israel 🇮🇱
Software QA Engineer Intern - 2025
On-site 🏢 12 October
QA & Testing
Shanghai, China 🇨🇳
Share this job, spread the word!