Formal Verification Engineer - New College Graduate
Core
Verify the design and implementation of industry-leading GPUs using formal verification algorithms to prove the correctness of complex logic problems.
Role type
Formal Verification Engineer (Hardware)
Builds
Bug-free silicon products for consumer graphics, self-driving cars, and AI platforms
Domain
Semiconductor hardware design and verification
Required skills
formal verification algorithms, Verilog/System Verilog HDL, SVA assertions, RTL code analysis, C/Perl/Python scripting, testplan development, flow automation, debugging
Preferred skills
Jasper, formal verification methodologies, innovative formal techniques
Responsibilities
Use formal verification algorithms to prove correctness of logic problems, identify key behaviors for verification, write clear testplans for complex designs, implement testplans using formal techniques, drive tools for performance, develop flow and scripts to automate efficiency, collaborate with teams to produce bug-free silicon products
Seniority
New College Graduate
