Amazon Web Services is seeking experienced Hardware Design Engineers to join the Cloud-Scale Machine Learning Acceleration team. This role focuses on the design and optimization of hardware for data centers, particularly technologies like AWS Inferentia. The team is responsible for building the next generation of cloud server infrastructure, which is critical for handling massive scale and rapid integration of emerging technologies. Successful candidates will work closely with partners and vendors to ensure high performance at low cost.

• 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.
• Experience with programming or scripting languages 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.