Formal Verification Engineer, Annapurna Labs

Amazon Web Services (AWS) is seeking experienced Hardware Design Engineers to join their Cloud-Scale Machine Learning Acceleration team. This role focuses on formal verification engineering at Annapurna Labs, working on next-generation cloud server infrastructure including technologies like AWS Inferentia, a machine learning inference product.

The position combines hardware verification expertise with cutting-edge machine learning infrastructure development. You'll be responsible for ensuring the reliability and correctness of complex hardware designs through formal verification methods. The role requires deep technical knowledge in both hardware design and verification techniques.

AWS offers an inclusive team culture with ten employee-led affinity groups and various learning experiences. The team values work-life balance, offering flexibility in working hours and encouraging a sustainable balance between personal and professional life. There's a strong emphasis on mentorship and knowledge sharing, with opportunities to work alongside experienced professionals.

The position is based in Austin, Texas, and is part of AWS's broader mission to provide reliable, scalable cloud infrastructure. You'll be working on projects that directly impact AWS's ability to deliver high-performance, low-cost machine learning solutions to customers worldwide. The role offers the opportunity to work with state-of-the-art technology while contributing to the development of next-generation cloud computing infrastructure.

This is an excellent opportunity for someone passionate about hardware verification who wants to work at the intersection of cloud computing and machine learning, with the backing of AWS's resources and scale.