The Hardware Design Engineer role at Amazon Web Services focuses on designing and optimizing hardware for data centers, particularly in machine learning technologies like AWS Inferentia. The position is part of the Cloud-Scale Machine Learning Acceleration team, which emphasizes collaboration and innovation. The team values inclusivity and work-life balance, fostering an environment for mentorship and career growth. Successful candidates will contribute to the development of state-of-the-art IP architectures and formal verification processes.

• Bachelor's degree or above in Computer Science, Computer Engineering, Electrical Engineering, or related fields
• 3+ years of practical experience with formal verification as an IP/Block owner
• 3+ years of experience with formal verification techniques including abstraction and end-to-end checking
• Understanding of micro-architectural design comprehension and debugging
• Understanding of formal verification engines and bug hunting strategies
• Programming and scripting skills
• Practical experience with RTL design

• Develop formal verification plans and implement state-of-the-art IP architectures
• Work with block designers to gain deep micro-architectural understanding
• Develop checking algorithms, assertions, and formal verification 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

• Employees at Amazon are often offered comprehensive health benefits—including multiple medical plan options (no pre-existing condition exclusions, 100% covered in-network preventive care), dental and vision plans, a 24/7 medical advice line from day one, expert second-opinion services, and broad mental-health support with several free counseling sessions (including pediatric). Financial wellness typically includes a 401(k) with company match (up to 2%), Restricted Stock Units (equity), FSAs, an emergency savings program, product and partner discounts, and even college-savings and home-purchase programs. Overall, the package is designed to support employees and their families’ health, finances, and day-to-day life.