About the Role

Senior Formal Verification Engineer role at Amazon Web Services focusing on hardware design for cloud infrastructure and machine learning acceleration. Responsible for developing formal verification plans, implementing verification of IP architectures, and working with block designers on micro-architectural understanding. Part of the Cloud-Scale Machine Learning Acceleration team working on technologies like AWS Inferentia.

Key Responsibilities

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

Required Skills & Qualifications

Must Have:

• Bachelor's degree or above in computer science, electrical engineering, or related field
• 7+ years of practical experience with formal verification as IP/Block owner
• 7+ years of experience with formal verification techniques including abstraction and end-to-end checking
• Equivalent academic experience in formal methods accepted

Nice to Have:

• Experience with formal verification techniques including abstraction and end-to-end checking
• Knowledge of programming or scripting languages and coding skills (C/C++/C#, Node.JS, Java, Python, PHP, Ruby)
• Understanding of u-arch design comprehension and debugging
• Practical experience with RTL design

Benefits & Perks

• Inclusive team culture with employee-led affinity groups
• Work-life balance with flexible working hours
• Mentorship and career growth opportunities
• Comprehensive compensation package with medical, financial, and other benefits