Amazon · 19 hours ago
Formal Verification Engineer, Annapurna Labs
Cupertino, California, USA
Full-time
Onsite
Mid Level
$157K/yr - $213K/yrAmazon, through its subsidiary Annapurna Labs, is seeking a Formal Verification Engineer to work on the design and optimization of hardware for their cloud server infrastructure. The role involves developing formal verification plans and collaborating with team members across multiple disciplines to ensure high performance and reliability in hardware design.
Artificial Intelligence (AI)DeliveryE-CommerceFoundational AIRetail
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
Communicate and work with team members across multiple disciplines
Qualification
Required
Bachelor's degree in Electrical Engineering or a related field
Experience identifying bugs in architecture, algorithms, functionality, and performance with strong overall debugging skills
Experience verifying at multiple levels of logic from IP blocks to SoCs to full system testing
Preferred
Master's degree in Electrical or Communications Engineering or a related field
Experience with formal verification techniques including abstraction and end-to-end checking
Experience with ARM and various DSP ISAs
Experience with current and upcoming RF standards in cellular (4G/5G NR), WiMAX, 802.11ad, microwave backhaul, or related broadband wireless standards
Experience with industry standard tools and scripting languages (Python or Perl) for automation
Benefits
Health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
401(k) matching
Paid time off
Parental leave
Company
Amazon
Amazon is a tech firm with a focus on e-commerce, cloud computing, digital streaming, and artificial intelligence.
Founded in 1994
10001+ employees
H1B Sponsorship
Amazon has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (22803)
2024 (21175)
2023 (19057)
2022 (24088)
2021 (12233)
2020 (14881)
Funding
Current Stage
Public CompanyTotal Funding
$8.11BKey Investors
AmazonKleiner Perkins
2023-01-03Post Ipo Debt· $8B
2001-07-24Post Ipo Equity· $100M
1997-05-15IPO
Leadership Team
Douglas J. Herrington
CEO, Worldwide Amazon Stores
Werner Vogels
VP & CTO
Recent News
2026-01-25
2026-01-25
2026-01-25
Company data provided by crunchbase