Sr. Formal Verification Engineer, Annapurna Labs

As a Sr. Formal Verification Engineer for Annapurna Labs, you will develop formal verification plans and verify state-of-the-art IP architectures for AWS cloud server infrastructure. You will create checking algorithms, assertions, and FV models, and partner with block designers to ensure coverage through test plan and simulation strategy.

• Develop formal verification plans and implement/verify IP architectures
• Create checking algorithms, assertions, and FV models
• Apply formal methods and abstraction techniques
• Participate in test plan and coverage reviews
• Promote assertions to simulation and contribute to simulation strategy

This role centers on formal methods and hardware verification: abstraction techniques, formal methods, and verification model development (assertions and FV models) that are promoted into simulation workflows. The engineering work supports AWS Inferentia and Cloud-Scale Machine Learning Acceleration initiatives, aiming for high-performance, low-cost inference hardware.

The ideal candidate is a senior Formal Verification Engineer who has built and executed formal verification plans for state-of-the-art IP architectures. They are strong in developing checking algorithms, assertions, and FV models, applying formal methods and abstraction techniques, and collaborating with block designers and simulation teams for coverage and test plan reviews—especially in hardware contexts tied to AWS Inferentia and machine learning acceleration.