Amazon Web Services (AWS) · 5 days ago
Sr. Formal Verification Engineer, Annapurna Labs
Cupertino, CA
Full-time
Onsite
Senior Level
$143K/yr - $248K/yr
7+ years expAmazon Web Services (AWS) provides a scalable and reliable cloud infrastructure platform. They are seeking a Senior Formal Verification Engineer to design and optimize hardware in their data centers, focusing on formal verification plans and collaborating with cross-disciplinary teams.
Agentic AIConsultingDevOpsInformation TechnologySoftwareWeb Development
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 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
Full range of medical, financial, and/or other benefits
Company
Amazon Web Services (AWS)
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.
10001+ employees
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 StageTotal Funding
unknownKey Investors
BIRD Foundation
2025-01-22Grant
Leadership Team
Matt Garman
Chief Executive Officer
Anand Desikan
CTO, CXO Advisor, and Enterprise Technologist
Recent News
2026-01-08
Bizjournals.com Feed (2025-11-12 15:43:17)
2026-01-08
Company data provided by crunchbase