Senior Formal Verification Engineer job opportunity at NVIDIA.

Home Jobs In Brazil Tag: Job Senior Formal Verification Engineer position at NVIDIA


DatePosted Yesterday bot
NVIDIA Senior Formal Verification Engineer
Experience: 7-years
Pattern: Remote
Country:
apply Apply Now
Salary:
Status:

Job

Copy Link Report
degreePhD
loacation Brazil, Remote, Brazil
loacation Brazil, Remote....Brazil

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!

Other Ai Matches

Product Management MBA Intern, Accelerated Computing GPU - Summer 2026 Applicants are expected to have a solid experience in handling Accelerated Computing GPU - Summer 2026 related tasks
Senior SWQA Test Development Engineer, SDET Applicants are expected to have a solid experience in handling SDET related tasks
remote-jobserver Remote
Senior Software Architect - Deep Learning and HPC Communications Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Senior ASIC Methodology Engineer - LPU Division Applicants are expected to have a solid experience in handling Job related tasks
Solutions Architect, HPC Systems Engineer Applicants are expected to have a solid experience in handling HPC Systems Engineer related tasks
Senior Software Integration and Debug Engineer Applicants are expected to have a solid experience in handling Job related tasks
Data Center Network Deployment Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Software Architect, GPU Networking Applicants are expected to have a solid experience in handling GPU Networking related tasks
Senior Solutions Architect, Robotics Infrastructure Applicants are expected to have a solid experience in handling Robotics Infrastructure related tasks
Senior Software Engineer, Chip Simulation Infra Applicants are expected to have a solid experience in handling Chip Simulation Infra related tasks
Senior Software Engineer, Networking Software Applicants are expected to have a solid experience in handling Networking Software related tasks
Compiler Verification Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Product Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Deep Learning Communication Architect Applicants are expected to have a solid experience in handling Job related tasks
Food and Beverage Manager Applicants are expected to have a solid experience in handling Job related tasks
Principal Software Engineer - Inference as a Service Applicants are expected to have a solid experience in handling Job related tasks
Senior System Software Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Platform Architect Applicants are expected to have a solid experience in handling Job related tasks
Senior Financial Analyst Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Senior Application Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior ASIC Design and STA Engineer Applicants are expected to have a solid experience in handling Job related tasks
Software Verification Team Manager, Networking Applicants are expected to have a solid experience in handling Networking related tasks
Principal Data and Asset Management Engineer Applicants are expected to have a solid experience in handling Job related tasks