Formal Verification Engineer

AWS Utility Computing (UC) provides innovative products, from foundational services such as Amazon Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to new product releases that set AWS apart in the industry. As a member of the UC organization, you will support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS. Within AWS UC, Amazon Dedicated Cloud (ADC) roles engage with customers requiring specialized security solutions for their cloud services.Annapurna Labs, a division of AWS, develops innovative hardware and software for AWS cloud infrastructure. Working here is exciting, fast-paced, and offers continuous learning opportunities.We are seeking a leader to join the Formal Verification team at Annapurna Labs. This team plays a central role in verification efforts, sharing goals with other verification teams.About the teamAmazon values diverse experiences. Even if you do not meet all preferred qualifications, we encourage you to apply. Whether you are just starting your career, have taken an unconventional path, or have alternative experiences, your application is welcome.Why AWS? AWS is the world’s most comprehensive cloud platform, trusted by startups and Fortune 500 companies alike. We continue to innovate in cloud computing, providing robust products and services to power businesses worldwide.Work/Life Balance We promote work-life harmony with flexible hours and arrangements. When supported both at work and home, our teams can achieve great clusive Team Culture AWS fosters curiosity and connection. Our affinity groups promote inclusion and pride in diversity. Inclusion events strengthen collaboration and innovation, fueled by diverse ideas and perspectives.Mentorship and Career Growth We aim to be Earth’s Best Employer, offering knowledge-sharing, mentorship, and career development resources to help you grow professionally.BASIC QUALIFICATIONSBachelor’s degree in Computer Science, Electrical Engineering, or related field.5+ years of hardware verification experience, preferably in formal verification.Knowledge of digital logic systems, computer networks, and architecture.PREFERRED QUALIFICATIONSTeam player, motivated, adaptable to dynamic environments.Experience with hardware formal verification tools and methodologies.If you need workplace accommodations during the application or onboarding process, please visit Amazon is an equal opportunity employer, committed to diversity and inclusion. #J-18808-Ljbffr

Created: 2025-09-17