Formal Verification Engineer

AWS Utility Computing (UC) is at the forefront of cloud innovation, managing crucial services like S3 and EC2. This role is specifically within Annapurna Labs, a division of AWS that develops cutting-edge hardware and software for cloud infrastructure. As a Formal Verification Engineer, you'll join a dynamic team responsible for critical verification efforts that ensure the quality and reliability of AWS's infrastructure.

The position offers an exciting opportunity to work with advanced technology in a fast-paced, learning-oriented environment. AWS values diverse experiences and backgrounds, making it an ideal place for professionals from various career paths. The company's commitment to work-life harmony is demonstrated through flexible work arrangements and a supportive culture.

You'll be part of an inclusive team culture that emphasizes continuous learning and growth. AWS provides extensive resources for professional development, including knowledge-sharing platforms, mentorship opportunities, and career-advancing resources. The company actively promotes diversity through employee-led affinity groups and special events like CORE and AmazeCon conferences.

Working with AWS means joining the leader in cloud computing, serving customers from startups to Global 500 companies. You'll contribute to groundbreaking innovations while being supported by a culture that values personal growth and work-life balance. The role combines technical expertise with the opportunity to shape the future of cloud infrastructure verification.