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

Amazon Web Services (AWS) · 4 hours ago

Formal Verification Engineer, Annapurna Labs

positionCupertino, CA
timeFull-time
remoteOnsite
seniorityMid Level
money$157K/yr - $213K/yr

Amazon Web Services (AWS) provides a highly reliable and scalable cloud infrastructure platform. The Formal Verification Engineer will be responsible for designing and optimizing hardware in AWS data centers, focusing on technologies such as AWS Inferentia, and will work collaboratively with various teams to implement verification plans and algorithms.

Agentic AIConsultingDevOpsInformation TechnologySoftwareWeb Development
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 verification techniquesElectrical Engineering degreeDebugging skillsARM architecturePython scriptingRF standards knowledgeCommunication skillsTeam collaboration

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 Web Services (AWS)

twittertwittertwitter
Glassdoor3.8
company-logo
Launched in 2006, Amazon Web Services (AWS) began exposing key infrastructure services to businesses in the form of web services -- now widely known as cloud computing.
dateFounded in 2002
location
Seattle, Washington, USA
people-size10001+ employees
web-link
http://aws.amazon.com

H1B Sponsorship

Amazon Web Services (AWS) 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
Late Stage
Total Funding
unknown
Key Investors
BIRD Foundation
2025-01-22Grant

Leadership Team

leader-logo
Matt Garman
Chief Executive Officer
linkedin
leader-logo
Anand Desikan
CTO, CXO Advisor, and Enterprise Technologist
linkedin

Recent News

WebProNews
AWS at 20: S3 and EC2 Ignite AI-Powered Cloud Revolution
2026-01-25
CRN
AWS Financial Services Director And Sales Leader Departs
2026-01-24
24-7 Press Release Newswire
Marquis Who's Who Recognizes Robin Goad for Excellence in Technology
2026-01-24
Company data provided by crunchbase