Sr. Formal Verification Engineer, Annapurna Labs

About the role

Amazon Web Services provides a highly reliable, scalable, low-cost 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 vendors to build the next generation of our cloud server infrastructure.

Responsibilities

• Develop formal verification plans, implement 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.
• Promote assertions to simulation and contribute to overall simulation strategy.
• Communicate and work with team members across multiple disciplines.

Requirements

• 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, or equivalent academic experience in formal methods.
• 7+ years of experience with formal verification techniques including abstraction and end-to-end checking, or equivalent academic experience in formal methods.

Qualifications

• Experience with formal verification techniques including abstraction and end-to-end checking
• Knowledge of programming or other 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

Skills

• Strong communication and collaboration skills
• Ability to work independently and as part of a team
• Excellent problem-solving and analytical skills

Benefits

• Comprehensive benefits including medical, dental, vision, prescription, life insurance, AD&D, EAP, mental health support, and flexible spending accounts
• 401(k) matching
• Paid time off
• Parental leave

Pay

$183,000.00 - $247,600.00 USD annually

Schedule

Full-time