Formal Design Verification Engineer
No visa sponsorship
Core
Central R&D team member focused on Formal Verification (FV) methodologies, flows, and tools to improve hardware design quality.
Role type
Senior IC formal verification engineer
Builds
Design verification flows and methodologies for AMD hardware products
Domain
Semiconductor hardware design and verification
Required skills
Formal verification, formal logic, model checking, hardware description languages, scripting, debugging, static analysis
Preferred skills
Data analysis, data mining, machine learning, cloud computing
Technologies
EDA vendor formal verification tools
Responsibilities
Contribute to products and methodologies supporting formal verification; Drive projects applying formal verification to improve hardware quality; Identify and deploy improved verification solutions; Share knowledge via documentation and presentation
