1,779,767open jobs
103,721companies
265,750added this week
Browse all
Salary
≈ $129k – $296k per year (Estimated)
Location
In office (Tel Aviv)
Seniority
Senior · 5+ years exp
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 16, 2026. First seen by Alion on Oct 12, 2026. NVIDIA scores A on the Alion truth index.

Overview
Company
Impact
Profile match
NVIDIA is an American technology company founded in 1993 that invented the graphics processing unit and has become the dominant supplier of accelerated computing platforms for artificial intelligence. Its portfolio spans data centre GPUs and systems built on the Hopper and Blackwell architectures, GeForce consumer graphics, automotive and robotics platforms, high-speed networking acquired with Mellanox, and the CUDA software stack that binds the ecosystem together. Headquartered in Santa Clara, California, the company sells to cloud providers, enterprises, research institutions and gamers worldwide and is one of the most valuable listed businesses on the Nasdaq.

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 and GPU 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 that are in the heart of th AI revolution. Our team delivers world class Chips solutions for HPC, AI infrastructures, 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 take part in the AI revolution led by NVIDIA, working on cutting edge architecture.

What we need to see:

  • 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 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. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
1,779,767 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Hardware
Similar stack
Same company
Tel Aviv
≈ $121k – $276k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Yokneam • Beersheba • Tel Aviv
Python
Apply
≈ $125k – $286k per year (Estimated) • In office • Full-Time • 5+ years exp • Tel Aviv • Beersheba
Verilog
Apply
SoC Power Architect 5 months ago
≈ $159k – $331k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Yokneam • Tel Aviv
Apply
≈ $165k – $342k per year (Estimated) • In office • Full-Time • 7+ years exp • Bachelor's Degree • Yokneam • Beersheba • Tel Aviv • Ra'anana • Kiryat Shmona
Python
Verilog
C++
Perl
Apply
≈ $123k – $281k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Tel Aviv • Yokneam
Python
MATLAB
Apply
≈ $31k – $71k per year (Estimated) • In office • 5+ years exp • Master's Degree • Shanghai
AI/ML
Fine-tuning
DevOps
HPC
Apply
≈ $165k – $310k per year (Estimated) • In office • Full-Time • 10+ years exp • Bachelor's Degree • Boston
DevOps
GCP
Azure
AWS
SLI/SLO/SLA
HPC
Windows
VPN
Cybersecurity
Okta
ISO 27001
NIST CSF
SOC 2
HIPAA
Least Privilege
Microsoft Entra ID
Management
Google Workspace
ITIL
Apply
$51k – $73k per year • In office • 4+ years exp • PhD • Rome
Python
AI/ML
MLFlow
Fine-tuning
Multimodal AI
Axolotl
Unsloth
TensorFlow
PyTorch
RunPod
Hugging Face
Machine Learning
DevOps
GCP
Git
AWS
AWS Lambda
HPC
Linux
Unix
Apply
$145k – $167k per year • Remote (likely United States) • Full-Time • 10+ years exp
DevOps
HPC
Management
Microsoft Office
Apply
$145k – $167k per year • Remote (likely United States) • Full-Time • 10+ years exp
DevOps
HPC
Management
Microsoft Office
Apply
≈ $135k – $309k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Yokneam
AI/ML
InfiniBand
Apply
≈ $129k – $296k per year (Estimated) • In office • Full-Time • 4+ years exp • Bachelor's Degree • Yokneam • Tel Aviv
Chips/EDA
UVM
Apply
≈ $134k – $305k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Yokneam
AI/ML
NVLink
Apply
≈ $79k – $190k per year (Estimated) • In office • Full-Time • 1+ year exp • PhD • Yokneam
Apply
≈ $134k – $305k per year (Estimated) • In office • Full-Time • 12+ years exp • Bachelor's Degree • Yokneam • Ra'anana
AI/ML
NVLink
Apply
≈ $127k – $290k per year (Estimated) • In office • 10+ years exp • Bachelor's Degree • Tel Aviv
SystemVerilog
AI/ML
Edge AI
Chips/EDA
UVM
Formal Verification
Apply
≈ $76k – $222k per year (Estimated) • In office • Internship • PhD • Tel Aviv
Python
JavaScript
C++
AI/ML
Gemini
TPU
DevOps
GCP
Apply
≈ $135k – $281k per year (Estimated) • In office • 10+ years exp • Bachelor's Degree • Tel Aviv
AI/ML
Vertex AI
TPU
Edge AI
Machine Learning
DevOps
GCP
Apply
Filestore Tech Leader 8 hours ago
≈ $95k – $276k per year (Estimated) • In office • 8+ years exp • Bachelor's Degree • Tel Aviv
Python
JavaScript
C++
AI/ML
AI Agents
DevOps
GCP
Kubernetes
Google GKE
Apply
≈ $139k – $296k per year (Estimated) • In office • 8+ years exp • Bachelor's Degree • Tel Aviv
AI/ML
Machine Learning
DevOps
GCP
Apply
See all jobs
This is one of many
1,779,767 more open roles from verified company boards, updated every day.