Formal Verification Engineer, Annapurna Labs

Overview

Amazon Web Services (AWS) is seeking experienced Hardware Design Engineers to work with partners and vendors to build next‑generation cloud server infrastructure as part of the Cloud‑Scale Machine Learning Acceleration team. The role focuses on the design and optimization of hardware in our data centers, including AWS Inferentia for high‑performance, low‑cost machine‑learning inference.

• Develop formal verification plans, implement and verify state‑of‑the‑art IP architectures.
• Collaborate with block designers to gain deep micro‑architectural understanding.
• Develop checking algorithms, assertions, and formal verification models.
• Apply state‑of‑the‑art formal methods and abstraction techniques.
• Participate in test plan and coverage reviews and promote assertions to simulation.
• Contribute to overall simulation strategy and communicate across multiple disciplines.

• Bachelor's degree or above in Computer Science, Computer Engineering, Electrical Engineering, or related field.
• 3+ years of practical experience with formal verification as IP/Block owner.
• 3+ years of experience with formal verification techniques including abstraction and end‑to‑end checking.

• Understanding of micro‑architecture design comprehension and debugging.
• Familiarity with formal verification engines and bug‑hunting strategies.
• Programming and scripting skills.
• Practical experience with RTL design.

Base salary ranges by location:

• USA, CA, Cupertino – $ – $ annually
• USA, TX, Austin – $ – $ annually

Your AWS package will include sign‑on payments and restricted stock units (RSUs). Compensation will be determined based on experience, qualifications, and location. AWS also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, basic life & AD &

D), optional supplemental life plans, employee assistance program, mental health support, medical advice line, flexible spending accounts, adoption and surrogacy reimbursement coverage, 401(k) matching, paid time off, and parental leave.

Equal Opportunity Statement AWS is an equal‑opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.