GPU Formal Verification Engineer — Equity & Benefits

NVIDIA; Austin (TX); On-site; USD 100,000 - 166,750; Full time

Benefits offered by this job

Equity

Benefits

Job summary

A leading technology company is seeking a Formal Verification Engineer in Austin, Texas. You will be responsible for verifying the design and implementation of GPUs, writing test plans, and utilizing formal verification methodologies. Ideal candidates will have a BS/MS/PhD in Computer Science, Engineering, or Mathematics, strong analytical skills, and experience with HDLs and scripting languages. A competitive salary range of $100,000 – $189,750 is offered depending on level and experience.

Qualifications

• Solid understanding of GPU/CPU architectures and designs.
• Strong analytical skills to solve complex problems.
• Excellent interpersonal skills, able to collaborate effectively.

Responsibilities

• Identify key behaviors for verification and write clear test plans.
• Execute test plans using formal techniques.
• Develop abstraction models for complexity challenges.
• Drive tools for performance optimization.
• Debug RTL to identify failure causes.
• Contribute to flow and script development.

Skills

Analytical skills

Formal verification methodologies

HDLs (Verilog/SystemVerilog)

TCL scripting

Python scripting

Collaboration skills

Education

BS/MS/PhD in CS/CE/EE/Mathematics

Tools

JasperGold

VC-Formal tools

Job description

A leading technology company is seeking a Formal Verification Engineer in Austin, Texas. You will be responsible for verifying the design and implementation of GPUs, writing test plans, and utilizing formal verification methodologies. Ideal candidates will have a BS/MS/PhD in Computer Science, Engineering, or Mathematics, strong analytical skills, and experience with HDLs and scripting languages. A competitive salary range of $100,000 – $189,750 is offered depending on level and experience.