Formal Verification Engineer

AWS Utility Computing (UC) is seeking a Formal Verification Engineer to join their innovative team at Annapurna Labs. This role is crucial for developing and verifying hardware and software solutions for AWS cloud infrastructure. The position involves working with foundational services like Amazon S3 and EC2, while being part of a dynamic, fast-paced environment that values continuous learning.

The ideal candidate will join the Formal Verification team, taking a central role in verification efforts and vision. The position requires expertise in hardware verification, particularly formal verification, along with strong knowledge of digital logic systems and computer architecture. This is an opportunity to work with cutting-edge technology while contributing to AWS's industry-leading cloud platform.

Amazon Web Services, as the world's most comprehensive cloud platform, offers an environment where innovation is constant and impact is significant. The role provides opportunities for diverse experiences, whether you're just starting your career or bring alternative experiences. The company strongly values work-life harmony, offering flexible arrangements to ensure success both professionally and personally.

The culture emphasizes continuous learning, inclusion, and professional growth. Through employee-led affinity groups, ongoing events, and learning experiences like Conversations on Race and Ethnicity (CORE) and AmazeCon conferences, team members are encouraged to embrace their uniqueness. The position offers extensive knowledge-sharing opportunities and mentorship resources for career advancement.

Working at Annapurna Labs means being part of AWS's mission to pioneer and innovate in cloud computing, where your contributions will directly impact the development of essential cloud infrastructure used by customers ranging from startups to Global 500 companies.