Formal Verification Engineer, Annapurna Labs

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

This role is for a Formal Verification Engineer at Amazon's Annapurna Labs, focusing on the design and optimization of hardware for AWS cloud server infrastructure, including machine learning inference products like AWS Inferentia. The engineer will develop formal verification plans, implement and verify IP architectures, and work with designers to ensure hardware quality.

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

  • formal verification
  • IP/Block owner
  • formal verification techniques
  • abstraction
  • end-to-end checking

Nice to have

  • u-arch design comprehension
  • debugging
  • formal verification engines
  • bug hunting strategies
  • programming
  • scripting
  • RTL design