Formal Verification Engineer - New College Graduate
Core
Verify the design and implementation of industry-leading GPUs using formal verification algorithms to prove correctness of complex logic problems.
Role type
New College Graduate Formal Verification Engineer (Hardware)
Builds
Bug-free silicon products for consumer graphics, self-driving cars, and AI platforms
Domain
Semiconductor hardware design and verification
Deliverable
production ML models | product features
Required skills
formal verification algorithms, testplan development, formal techniques, tool optimization, automation scripting, Verilog/System Verilog HDL, SVA assertions, RTL code analysis
Preferred skills
Jasper, C, Perl, Python
Responsibilities
Use formal verification algorithms to prove correctness of complicated logic problems; Identify key behaviors for verification to write clear testplans; Implement testplans 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 produce bug free silicon products
Seniority
Entry-level (New College Graduate)
