Sr. Formal Verification Engineer, Annapurna Labs
- Pay
- $185,200 – $287,500 per year
- Location
- Austin, TX
- Listed
- Yesterday
About the role
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.
Basic Qualifications
- Bachelor's degree or above in computer science, electrical engineering, or related field
- 7+ years of practical experience with formal verification as 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.
Preferred Qualifications
- Experience with formal verification techniques including abstraction and end-to-end checking
- Knowledge of programming or other scripting languages and coding skills (C/C++/C#, Node.JS, Java, Python, PHP, Ruby)
- Understanding of u-arch design comprehension and debugging.
- Practical experience with RTL design.
Additional information
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If the country/region you're applying in isn't listed, please contact your Recruiting Partner.
Pay and benefits
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including 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, and parental leave.
USA, CA, Cupertino - 213,000.00 - 287,500.00 USD annually
USA, TX, Austin - 185,200.00 - 250,000.00 USD annually
Equal opportunity and legal notices
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies.
Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position.
These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company's reputation.
Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.
From Annapurna Labs (U.S.) Inc.'s careers page, first listed on Rolev.ai on November 9, 2026. Rolev.ai is not the employer.
How Rolev.ai helps with this application
Rolev.ai is a job search and application tool for US job seekers. For this Sr. Formal Verification Engineer, Annapurna Labs role at Annapurna Labs (U.S.) Inc., it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.
See how you fit
Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.
Tailor without inventing
Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.
Draft the full kit
Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.
1-Click Extension Autofill
The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.
Common questions
What is the salary for the Sr. Formal Verification Engineer, Annapurna Labs role at Annapurna Labs (U.S.) Inc.?
The Sr. Formal Verification Engineer, Annapurna Labs posting at Annapurna Labs (U.S.) Inc. states compensation of $185,200 – $287,500 per year. Final pay may depend on location, experience, and interview evaluation on Annapurna Labs (U.S.) Inc.'s official career site.
Where is the Sr. Formal Verification Engineer, Annapurna Labs job at Annapurna Labs (U.S.) Inc. located?
This Sr. Formal Verification Engineer, Annapurna Labs position at Annapurna Labs (U.S.) Inc. is located in Austin, TX. Always check Annapurna Labs (U.S.) Inc.'s application page for specific state eligibility or relocation policies.
How do I apply for the Sr. Formal Verification Engineer, Annapurna Labs position at Annapurna Labs (U.S.) Inc.?
This listing links directly to Annapurna Labs (U.S.) Inc.'s application page. You can apply directly on Annapurna Labs (U.S.) Inc.'s site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.