Amazon
Sr. Formal Verification Engineer, Annapurna Labs
$185K–$288K
Austin, TX +2 · Senior · Full-time · Posted Jul 25, 2026
- Location
- Austin, TX
San Diego, CA
Cupertino, CA - Experience
- 7+ years for each of the two stated formal verification experience criteria; either may be met through the stated equivalent academic experience in formal methods.
- Education
- Bachelor's degree or above in computer science, electrical engineering, or a related field.
About the job
Develops and verifies hardware IP for AWS cloud-scale machine-learning acceleration, using formal methods to ensure correctness.
What you'll do
- Develop formal verification plans, checking algorithms, assertions, and verification models for IP architectures.
- Apply formal methods and abstraction techniques; participate in test-plan and coverage reviews.
- Promote assertions into simulation and collaborate with designers and multidisciplinary teams.
What they ask for
- Bachelor's degree or above in computer science, electrical engineering, or a related field.
- 7+ years of practical formal verification experience as an 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
- Knowledge of programming or scripting languages and coding skills (C/C++/C#, Node.JS, Java, Python, PHP, Ruby).
- Understanding of u-arch design comprehension and debugging; practical RTL design experience.
Pay
213,000.00 - 287,500.00 USD annually (base salary); 185,200.00 - 250,000.00 USD annually (base salary)
Tools
AWS Inferentia, C/C++/C#, Node.JS, Java, Python, PHP, Ruby, RTL
AI focus
Hardware design and optimization for machine-learning acceleration, including AWS Inferentia, a machine-learning inference product.
Model-written summary · the original posting is authoritative