Sr. Formal Verification Engineer, Annapurna Labs

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

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

Inclusive Team Culture:
Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee‑led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and Amaze Con (gender diversity) conferences. Amazon’s culture of inclusion is reinforced within our 16 Leadership Principles, which remind team members to seek diverse perspectives, learn and be curious, and earn trust.

Work/Life Balance:
Our team puts a high value on work‑life balance. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life‑long happiness and fulfillment. We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.

Mentorship & Career Growth:
Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge sharing and mentorship. We care about your career growth and strive to assign projects based on what will help each team member develop into a better‑rounded professional and enable them to take on more complex tasks in the future.

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

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

Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $143,300 per year in our lowest geographic market up to $247,600 per year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job‑related knowledge, skills, and experience. Amazon is a total compensation company.

Dependent on the position offered, equity, sign‑on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits.

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…