Senior Software Engineer
Nvidia · Tel Aviv, Israel
About this role
Nvidia is hiring a senior-level Software Engineer based in Tel Aviv, Israel. The posting calls out experience with C, Embedded Systems.
- Role
- Software Engineer
- Function
- software engineering
- Level
- senior
- Track
- Individual contributor
- Employment
- Full-time
- Location
- Tel Aviv, Israel
- Posted
- May 18, 2026
More roles at Nvidia
Job description
from Nvidia careersWe are looking for a senior software engineer for our NVIDIA software Formal Verification team! This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware. Supporting NVIDIA Switch, NIC, and GPU technologies, we develop software verification environments in C and C++, and use state-of-the-art Formal Verification tools and methodologies to mathematically prove the correctness of both software and hardware. As part of this startup-like team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.
What you'll be doing:
Use C/C++ and other tools and technologies to build software-based proofs for complex logical behaviors
Help develop our Software Formal Verification methodologies and tools
You will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technology
What we need to see:
BSc in Computer Engineering/Computer Science/Mathematics or equivalent
5+ years of experience in software development
Excellent analytical, logical reasoning, and problem-solving skills
Strong communication and interpersonal skills
Fluent in English
Ways to stand out from the crowd:
Background in architecture simulators
Experience in firmware/embedded systems
Experience in Formal Verification for software
Hands-on experience applying AI in a professional environment
This is an excerpt. Read the full job description on Nvidia careers →