The Hardware Design Engineer role at Amazon Web Services focuses on designing and optimizing hardware for data centers, particularly for machine learning technologies like AWS Inferentia. The position is part of the Cloud-Scale Machine Learning Acceleration team, which emphasizes collaboration across various disciplines. The team values inclusion, work-life balance, and mentorship, aiming to foster an environment that supports career growth. Candidates will work on cutting-edge server infrastructure to meet the demands of massive scale and rapid technology integration.

• Bachelor's degree or above in computer science, electrical engineering, or a related field.
• 7+ years of practical experience with formal verification as an IP/Block owner or equivalent academic experience in formal methods.
• 7+ years of experience with formal verification techniques including abstraction and end-to-end checking.
• Knowledge of programming or other scripting languages and coding skills such as C/C++/C#, Node.JS, Java, Python, PHP, or Ruby.
• Understanding of micro-architectural design comprehension and debugging.
• Practical experience with RTL design.

• Develop formal verification plans and implement state-of-the-art IP architectures.
• Work with block designers to gain a 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 the overall simulation strategy.
• Communicate and collaborate 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.