Amazon Formal Verification Engineer Annapurna Labs 

United States, Texas, Austin 

321320299

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, assertions, and FV models.
- Perform state of the art formal methods and abstraction techniques.
- Participate in test plan and coverage reviews.
- Promote assertions to simulation and contribute to overall simulation strategy.Work/Life Balance
Mentorship & Career Growth

- BS degree or higher in EE, CE, or CS.
- 3+ years of practical experience with formal verification as IP/Block owner
- 3+ years experience with formal verification techniques including abstraction and end-to-end checking

- Understanding of u-arch design comprehension and debugging.
- Understanding of formal verification engines and bug hunting strategies.
- Programming and scripting skills.
- Practical experience with RTL design.