Senior Formal Verification Engineer - job 1 of 4
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.
Senior ASIC Verification Engineer role at NVIDIA to lead verification of global IP using SystemVerilog/UVM, coverage-driven methodologies, and automation across multiple product domains.
Lead customer-facing design and deployment of GPU-accelerated generative AI data processing solutions as a Senior Solutions Architect at NVIDIA.
TYLin is hiring a Construction Management Intern to support field inspections and construction documentation on water infrastructure projects in the Chicago or Indianapolis area.
WindBorne Systems is hiring a Sensor Development Engineer in Palo Alto to design, prototype, and validate novel environmental sensors for a global smart weather balloon constellation.
Lead fuel and oil system design and validation for Shield AI's V‑BAT as the Responsible Engineer, driving cradle-to-grave development, testing, and operational readiness.
BETA Technologies is hiring a Modeling and Performance Engineer to develop and validate aircraft performance models and tools for fixed-wing and VTOL platforms across design, flight test, and certification.
Lead security evaluations and cryptographic testing at SGS to validate compliance of hardware, software, and systems against FIPS and related security standards.
Huntsman's Ashtabula site is hiring a Maintenance Supervisor to lead a team in maintaining mechanical and electrical assets, ensuring safety, regulatory compliance, and reliability.
Provide technical leadership and hands-on expertise to implement, test, and optimize laboratory automation solutions across client sites in the United States.
AECOM is hiring a Senior Water Conveyance Engineer to lead pipeline design, analysis, and rehabilitation efforts across municipal water and wastewater projects while mentoring technical teams.
OHSU is hiring a Biomedical Equipment Technician I to maintain and support organ preservation equipment, perform calibrations and repairs, manage inventory, and ensure regulatory compliance across multiple sites.
Segula Technologies is looking for an Active Damping Design Release Engineer to drive ECU hardware/software development, validation and release for chassis damping systems (Auburn Hills, MI; Canadian citizens eligible for TN visa required).
Design and maintain secure, high-performance networks that support mission-critical RPA and Ground Control Station operations for a leading hypersonic aircraft company.
E2 Consulting Engineers is hiring an Ovation Systems Engineer to manage and maintain Emerson Ovation and Mark VI control systems and plant instrumentation at a Los Angeles power facility.
Shield AI is hiring a hands-on Hardware Test Engineering Co-op in the Dallas area to build and maintain electrical test fixtures, PCBAs, and test-stand integrations for aerospace hardware.
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.
223 jobs
🔮
Hi, I'm Risa! Your AI Career Copilot
you, just ask me below!
