Sr. Formal Verification Engineer, Annapurna Labs
Core
Design and optimize hardware for cloud-scale machine learning acceleration, specifically focusing on IP architectures for products like AWS Inferentia.
Role type
Senior IC formal verification engineer (hardware)
Builds
Next-generation cloud server infrastructure and ML inference chips
Domain
Cloud computing + hardware design + formal methods
Deliverable
production ML models
Required skills
formal verification, state-of-the-art IP architecture design, checking algorithms, assertions, FV models, state-of-the-art formal methods, abstraction techniques, RTL design, micro-architectural understanding
Preferred skills
C/C++/C#/Node.JS/Java/Python/PHP/Ruby programming, u-arch design comprehension and debugging
Responsibilities
Develop formal verification plans, implement and verify state-of-the-art IP architectures, work with block designers to gain deep micro-architectural understanding, develop checking algorithms and assertions, perform state of the art formal methods and abstraction techniques, participate in test plan and coverage reviews, promote assertions to simulation
Seniority
Senior, hands-on IC
