Formal Verification Engineer - New College Graduate

Role Summary

As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. This position offers the opportunity to impact product lines ranging from consumer graphics to self-driving cars and artificial intelligence.

Experience Level

Entry-level, suitable for new college graduates.

Responsibilities

You will:

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

Requirements

Must-have skills include:

• BS/MS/Ph.D. or equivalent experience in Computer Science, Computer Engineering, Electrical Engineering, or Mathematics.
• Strong analytical and collaboration skills to solve complex problems.
• Strong coding skills in C, Perl, Python, or any industry-standard scripting languages.
• Good debugging skills.
• Excellent communication skills, capable of working effectively in a distributed team.

Nice-to-have skills include:

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

Education Requirements

Expected educational background includes a BS, MS, or Ph.D. in CS, CE, EE, or Mathematics.

About the Company

Company: NVIDIA

Headquarters: Santa Clara, California, USA

NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.