Senior Formal Verification Engineer - job 1 of 3
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry’s leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness and completeness of our next generation chip designs. You will collaborate with a team of highly skilled engineers to develop and implement formal verification methodologies using formal verification tools, define the verification scope, and ensure design correctness. You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks.
What will you be doing:
Identify key behaviors for verification to write clear testplans for complex designs.
Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
Drive tools to realize their best performance.
Debug RTL to identify causes of failure scenarios.
Contribute to flow and script development to improve team efficiency.
Articulate formal verification coverage of the design to partners.
What we need to see:
BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
Solid understanding of GPU/CPU architectures and designs.
Strong analytical skills to solve complex problems.
Knowledge of formal verification methodologies and techniques.
Able to implement abstraction techniques for effective verification.
Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
Excellent command of scripting using TCL, Perl, and Python.
Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal )
Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most resourceful and talented people in the world working for us. If you're creative, autonomous and love a challenge, we want to hear from you!
Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 168,000 USD - 264,500 USD for Level 4, and 196,000 USD - 310,500 USD for Level 5.You will also be eligible for equity and benefits.
Average salary estimate
If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.
Lead datacenter-scale network validation and automation for NVIDIA's AI compute platforms, owning test strategy, debugging, and qualification for Ethernet and InfiniBand environments.
NVIDIA is hiring a Senior Software Engineer for Developer Platforms to design and operate full-stack web applications, backend services, and DevOps infrastructure that support a global developer community.
Watney Robotics is hiring a hands-on Robotics Technician to build, troubleshoot, and maintain autonomous robots used in large-scale datacenter deployments.
A summer 2026 Rail & Transit Engineering Designer internship at TYLin's Miami office to support drafting, modeling, quantity take-offs, and project coordination on rail and transit projects.
Experienced nuclear cyber security engineer needed to lead CDA assessments and implement cyber controls for Sargent & Lundy's Nuclear Power Group in a hybrid Chicago role.
Smiths' John Crane is hiring a hands-on Customer Reliability Engineer/Technical Specialist to deliver on-site mechanical seal and rotating equipment expertise at customer facilities in Mt Vernon, IN.
Dexcom is hiring a Process Development Engineer II to lead DOE-driven sensor process improvements that improve CGM accuracy, reliability, and manufacturing performance.
Utilities One is hiring a results-driven Power Engineering Consultant to lead technical strategy and deliver high-impact power system solutions for utility clients.
Carollo Engineers is seeking a Principal Specialist in OT Cybersecurity to lead secure SCADA/PLC network design, risk assessments, and cybersecurity solutions for water and wastewater facilities.
Support submarine construction, testing, and troubleshooting as a Waterfront Engineering intern at General Dynamics Electric Boat during Summer 2026, gaining hands-on experience across engineering disciplines.
Paradise Valley Hospital is looking for a certified Plant Engineer III to maintain HVAC, mechanical, electrical, plumbing and medical gas systems and support safe operations at its National City campus.
Amentum is hiring a Project Engineer II at Vandenberg AFB to lead engineering oversight, design support, and safety compliance for propellant, cryogenic, and high-pressure systems.
Lead Adstra's Engineering organization as Sr. Director, Head of Engineering to drive cloud-native, data-centric SaaS development and scale teams delivering AI and identity solutions.
Lead technical architecture and cross-disciplinary teams to deliver scalable, secure IoT-enabled water products spanning firmware, mobile, and cloud platforms.
Kimley-Horn's Vero Beach office seeks an experienced Roadway Civil EIT to support roadway and multimodal design projects through hands-on plan production and client-focused engineering.
NVIDIA is a publicly traded, multinational technology company headquartered in Santa Clara, California. NVIDIA's invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined computer graphics, and ignited the era of modern AI.
220 jobs
🔮
Hi, I'm Risa! Your AI Career Copilot
you, just ask me below!
