Formal Verification Engineer - New College Graduate

Formal Verification Engineer - New College Graduate

We are looking for a Formal Verification Engineer within our Hardware team at NVIDIA! This position offers the opportunity to verify the design and implementation of the industry's leading GPUs. You will have a real impact in a progressive, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. Join a team of extraordinary people pushing the frontiers of what is possible today and defining the platform for the future of computing.

What You Will Be Doing

• Use formal verification algorithms to formally prove the correctness of complicated logic problems.
• Identify key behaviors for verification to write clear test plans for complex designs.
• Implement test plans using innovative formal techniques.
• Drive tools to realize their best performance.
• Develop flows and scripts to automate and improve team efficiency.
• Collaborate with other teams to help produce bug-free, outstanding silicon products.

What We Need To See

• BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics.
• Strong analytical and collaboration skills to solve complex problems.
• Strong coding skills in C, Perl, Python, or any other industry-standard scripting languages.
• Good debugging skills.
• Excellent communication skills, able to effectively collaborate and work with members of a distributed team.

Ways To Stand Out From The Crowd

• Knowledge of formal verification methodologies, techniques, and tools like Jasper.
• Hands-on experience with Verilog / System Verilog HDLs, SVA assertions, and able to understand complex RTL code quickly.

NVIDIA offers competitive salaries and a generous benefits package, making us one of the technology world’s most desirable employers. We have dedicated and talented people working for us, and due to unprecedented growth, our elite engineering teams are rapidly expanding. If you're a creative and autonomous engineer with a passion for technology, we want to hear from you!

We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Key skills/competency

• Formal Verification Engineer
• GPU Design
• Hardware Verification
• Logic Problems
• Test Plans
• Formal Techniques
• Scripting Languages (C, Perl, Python)
• Verilog / System Verilog
• SVA Assertions
• RTL Code