Sr. Formal Verification Engineer, Annapurna Labs

Amazon Amazon · Big Tech · Cupertino, CA · Software Development

This role is for a Sr. Formal Verification Engineer focused on hardware design and optimization for cloud server infrastructure, including machine learning inference products like AWS Inferentia. The responsibilities involve developing formal verification plans, implementing and verifying IP architectures, and using formal methods and abstraction techniques. While the role touches on ML inference hardware, the core craft is hardware design and verification, not AI/ML model development or research.

What you'd actually do

  1. Develop formal verification plans, implement and verify state-of-the-art IP architectures.
  2. Work with block designers to gain deep micro-architectural understanding.
  3. Develop checking algorithms, assertions, and FV models.
  4. Perform state of the art formal methods and abstraction techniques.
  5. Participate in test plan and coverage reviews.

Skills

Required

  • Bachelor's degree or above in computer science, electrical engineering, or related field
  • 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal methods.
  • 7+ years of experience with formal verification techniques including abstraction and end-to-end checking, or equivalent academic experience in formal methods.

Nice to have

  • Experience with formal verification techniques including abstraction and end-to-end checking
  • Knowledge of programming or other scripting languages and coding skills (C/C++/C#, Node.JS, Java, Python, PHP, Ruby)
  • Understanding of u-arch design comprehension and debugging.
  • Practical experience with RTL design.