Formal Verification Engineer Annapurna Labs

Amazon Web Services provides a highly reliable scalable lowcost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S. Europe Singapore and Japan and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure. Our success depends on our worldclass server infrastructure; were handling massive scale and rapid integration of emergent technologies.
As a member of the CloudScale Machine Learning Acceleration team youll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.

Responsibilities:
Develop formal verification plans implement and verify stateoftheart IP architectures.
Work with block designers to gain deep microarchitectural understanding.
Develop checking algorithms assertions and FV models.
Perform state of the art formal methods and abstraction techniques.
Participate in test plan and coverage reviews.
Promote assertions to simulation and contribute to overall simulation strategy.
Communicate and work with team members across multiple disciplines.


About the team
Inclusive Team Culture
Here at AWS we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employeeled affinity groups reaching 40000 employees in over 190 chapters globally. We have innovative benefit offerings and host annual and ongoing learning experiences including our Conversations on Race and Ethnicity (CORE) and AmazeCon (diversity) conferences. Amazons culture of inclusion is reinforced within our 16 Leadership Principles which remind team members to seek diverse perspectives learn and be curious and earn trust.

Work/Life Balance
Our team puts a high value on worklife balance. It isnt about how many hours you spend at home or at work; its about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to lifelong happiness and fulfillment. We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.

Mentorship & Career Growth
Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures and were building an environment that celebrates knowledge sharing and mentorship. We care about your career growth and strive to assign projects based on what will help each team member develop into a betterrounded professional and enable them to take on more complex tasks in the future.


BS degree or higher in EE CE or CS.
3 years of practical experience with formal verification as IP/Block owner
3 years experience with formal verification techniques including abstraction and endtoend checking

Understanding of uarch design comprehension and debugging.
Understanding of formal verification engines and bug hunting strategies.
Programming and scripting skills.
Practical experience with RTL design.

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race national origin gender gender identity sexual orientation protected veteran status disability age or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.