Formal Verification Engineer, Annapurna Labs

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

The position involves working with cutting-edge hardware verification, requiring expertise in formal methods and verification techniques. You'll be responsible for developing and implementing verification strategies for complex hardware designs, working closely with block designers to ensure robust verification coverage.

AWS offers a strong emphasis on work-life balance, understanding that success comes from maintaining energy in both professional and personal life. The team provides flexibility in working hours and encourages finding the right balance that works for each individual.

The culture at AWS is deeply rooted in inclusion and diversity, with ten employee-led affinity groups across 190 global chapters. The company offers innovative benefits and hosts learning experiences including Conversations on Race and Ethnicity (CORE) and AmazeCon conferences.

Career growth and mentorship are key priorities, with the team supporting new members through knowledge sharing and professional development. Projects are assigned strategically to help team members develop new skills and take on increasingly complex responsibilities.

This role offers competitive compensation ranging from $129,800 to $212,800 per year, varying by geographic location, plus additional benefits including equity and sign-on payments. The position is part of AWS's machine learning infrastructure team, contributing to technologies that power thousands of businesses worldwide.