Staff Formal Verification Engineer (GPU)
Core
Lead GPU Formal Verification Engineer driving cutting-edge formal verification techniques for AMD's next-generation graphics IP design, defining strategy, methodology, and infrastructure.
Role type
Staff/Lead IC formal verification engineer (GPU/graphics IP)
Builds
Graphics IP design (datapath and control logic) for AMD's next-gen GPUs
Domain
Semiconductor / Hardware Design / Graphics IP
Required skills
formal verification methodology, system Verilog assertions, abstract model development, computer architecture knowledge, graphics pipeline knowledge, leadership, technical roadmap definition
Preferred skills
formal verification infrastructure development, security/safety/low-power formal verification, theorem prover usage, large-scale processor design experience
Technologies
JasperGold, VC formal, Murphi, theorem prover, System Verilog
Responsibilities
Define long-term strategy for formal verification expansion and steer the technical roadmap; Develop cutting-edge formal verification methodology to cover the whole graphics design; Define and drive the best-in-class formal verification infrastructure; Lead the research group for emerging formal verification domains like security, safety, low power; Stay informed of latest trends and drive cross-department innovation
Seniority
Staff/Lead, hands-on IC with leadership responsibilities
