[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All Amazon jobs](https://jobs.opennash.com/companies/amazon/) · [Search jobs](/search/)

Amazon · Austin, TX

# Sr. Formal Verification Engineer, Annapurna Labs

US, TX, Austin Senior individual contributor Operations 

Listed on Amazon’s official careers site. Posted July 25, 2026. Check that it is still open and apply there.
[Apply on Amazon’s careers site →](https://www.amazon.jobs/en/jobs/10484051/sr-formal-verification-engineer-annapurna-labs)

[OpenNash Jobs](https://jobs.opennash.com/) / [Amazon](https://jobs.opennash.com/companies/amazon/) / Sr. Formal Verification Engineer, Annapurna Labs

## Job description

Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure.

Our success depends on our world-class server infrastructure; we’re handling massive scale and rapid integration of emergent technologies.

As a member of the Cloud-Scale Machine Learning Acceleration team you’ll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.

### Key job 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.

## At a glance
- Posted by the employer: Jul 25, 2026
- First seen by OpenNash: Oct 11, 2026
- Last checked: Oct 11, 2026
- Listed for: 78 days
- Location: US, TX, Austin[Apply on Amazon’s careers site →](https://www.amazon.jobs/en/jobs/10484051/sr-formal-verification-engineer-annapurna-labs)

## More jobs at Amazon

### [ASIC Test Engineer, Annapurna Silicon Operations](https://jobs.opennash.com/companies/amazon/jobs/f4cb6a4c3176cd983a4c/)

US, TX, Austin

### [Automation Engineer, Prime Video Trust & Safety](https://jobs.opennash.com/companies/amazon/jobs/253da092f7a76af63ea9/)

US, TX, Austin

### [Cellular Systems Engineering Lead, Direct-to-Device, Amazon Leo](https://jobs.opennash.com/companies/amazon/jobs/7340fe5f4f1368e3b04e/)

US, TX, Austin

### [Cloud Hardware Development Engineer I, Annapurna Labs, Early Career - 2027](https://jobs.opennash.com/companies/amazon/jobs/22a287ddb23c6fbd3474/)

US, TX, Austin

### [Cloud Hardware Development Engineer Intern, Annapurna Labs - 2027](https://jobs.opennash.com/companies/amazon/jobs/33720fc33597b699772f/)

US, TX, Austin

## Similar jobs at other companies

### [CPU Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/bbab5f0f9c149727a826/)

Qualcomm · Santa Clara, California, United States of America

### [Principal Design Verification Engineer - Formal](https://jobs.opennash.com/companies/microsoft/jobs/63c5570160bfdee65271/)

Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View

### [Senior Staff Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/06d0a8e7015cead3b554/)

Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara

### [Senior Staff Engineer, GPU Design Verification (Formal Verification)](https://jobs.opennash.com/companies/samsung-electronics/jobs/70bfe6f1562a92bbc862/)

Samsung Electronics · San Jose, CA, USA

### [Staff GPU Design Verification Engineer – Formal Verification](https://jobs.opennash.com/companies/samsung-electronics/jobs/0a4cbd8cb1454ba6e1a8/)

Samsung Electronics · Austin, TX, USA

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)