Sr. Formal Verification Engineer, Annapurna Labs

Annapurna Labs; San Diego (CA); On-site; USD 213,000 - 288,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

Job summary

Annapurna Labs (U.S.) Inc. seeks a Hardware Design Engineer to drive formal verification and IP/block ownership for next-generation cloud server infrastructure. You will work with partners and vendors to deliver high-performance, cost-efficient hardware in AWS data centers.

The role involves developing verification plans, modeling, and debugging RTL designs, plus collaboration with multiple engineering teams to optimize machine learning acceleration hardware such as AWS Inferentia.

Qualifications

• 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.

Responsibilities

• Develop formal verification plans and verify IP architectures.
• Collaborate with block designers to understand micro-architectures.
• Develop checking algorithms, assertions, and FV models.
• Apply state-of-the-art formal methods and abstraction techniques.
• Participate in test plan and coverage reviews.
• Promote assertions to simulation and shape overall simulation strategy.
• Communicate with team across multiple disciplines.

Skills

Formal verification

RTL design

C/C++

C#

Node.js

Java

Python

Ruby

Abstraction techniques

Education

Bachelor's degree or higher in CS or EE

Tools

FV tools

Job description

Description

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 vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we’re handling massive scale and rapid integration of emergent technologies.

Description

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 vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we’re handling massive scale and rapid integration of emergent technologies.

As a member of the Cloud-Scale Machine Learning Acceleration team you’ll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.

Key job 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.

Basic Qualifications

• 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.

Preferred 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.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.

USA, CA, Cupertino - 213,000.00 - 287,500.00 USD annually

USA, TX, Austin - 185,200.00 - 250,000.00 USD annually

Company - Annapurna Labs (U.S.) Inc.

Job ID: A10484051