Sr. Formal Verification Engineer, Annapurna Labs jobs in United States
cer-icon
Apply on Employer Site
company-logo

Amazon · 2 months ago

Sr. Formal Verification Engineer, Annapurna Labs

positionCupertino, California, USA
timeFull-time
remoteOnsite
senioritySenior Level
money$143K/yr - $248K/yr
date7+ years exp

Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud. The Sr. Formal Verification Engineer will be responsible for the design and optimization of hardware in data centers, focusing on formal verification techniques and collaboration with cross-disciplinary teams.

Artificial Intelligence (AI)DeliveryE-CommerceFoundational AIRetail
check
H1B Sponsor Likelynote

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

Formal verificationIP architectureAbstraction techniquesRTL designProgramming languagesMicro-architectural understandingDebuggingCommunication

Required

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

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

Benefits

Flexibility in working hours
Medical, financial, and/or other benefits

Company

Amazon

twittertwittertwitter
Glassdoor3.7
company-logo
Amazon is a tech firm with a focus on e-commerce, cloud computing, digital streaming, and artificial intelligence.
dateFounded in 1994
location
Seattle, Washington, USA
people-size10001+ employees
web-link
https://amazon.com

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 Company
Total Funding
$8.11B
Key Investors
AmazonKleiner Perkins
2023-01-03Post Ipo Debt· $8B
2001-07-24Post Ipo Equity· $100M
1997-05-15IPO

Leadership Team

leader-logo
Douglas J. Herrington
CEO, Worldwide Amazon Stores
linkedin
leader-logo
Werner Vogels
VP & CTO
linkedin

Recent News

IndiaTimes
Amazon launches updated Fire TV interface and first-ever lifestyle TV: All details
2026-01-08
Tech in Asia
Amazon’s AI shopping tool faces backlash from online retailers
2026-01-08
Maryland Daily Record
Amazon must face price gouging lawsuit, judge rules
2026-01-08
Company data provided by crunchbase