Formal Verification Engineer

AWS Utility Computing (UC) is at the forefront of cloud innovation, managing crucial services like Amazon S3 and EC2. Within AWS UC, Annapurna Labs develops cutting-edge hardware and software for AWS cloud infrastructure. They're seeking a leader for their Formal Verification team, which plays a vital role in verification efforts and vision.

The position offers a dynamic, fast-paced environment with constant learning opportunities. Amazon values diverse experiences and welcomes candidates from non-traditional backgrounds. As part of AWS, you'll be working with the world's most comprehensive cloud platform, trusted by companies from startups to Global 500.

The role emphasizes work-life harmony with flexible arrangements. Amazon fosters an inclusive culture through employee-led affinity groups and inclusion events that celebrate diversity. Career growth is supported through knowledge-sharing, mentorship, and professional development resources.

The ideal candidate will be a team player, highly motivated, and comfortable in a dynamic environment. They'll join a team that's integral to AWS's verification efforts, working on innovative solutions for cloud infrastructure. This role offers the opportunity to work with cutting-edge technology while contributing to AWS's continued leadership in cloud computing.