Talent.com
Sr. Formal Verification Engineer, Annapurna Labs
Sr. Formal Verification Engineer, Annapurna LabsAnnapurna Labs (U.S.) Inc. • Cupertino, CA, United States
Sr. Formal Verification Engineer, Annapurna Labs

Sr. Formal Verification Engineer, Annapurna Labs

Annapurna Labs (U.S.) Inc. • Cupertino, CA, United States
17 hours ago
Job type
  • Full-time
Job 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.

About the team

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 AmazeCon (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.

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.

    Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $143,300 / year in our lowest geographic market up to $247,600 / 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. For more information, please visit https : / / www.aboutamazon.com / workplace / employee-benefits . This position will remain posted until filled. Applicants should apply via our internal or external career site.

    Create a job alert for this search

    Verification Engineer • Cupertino, CA, United States

    Related jobs
    Application Validation Engineer

    Application Validation Engineer

    Supermicro • San Jose, CA, United States
    Full-time
    Supermicro is a Top Tier provider of advanced server, storage, and networking solutions for Data Center, Cloud Computing, Enterprise IT, Hadoop / Big Data, Hyperscale, HPC and IoT / Embedded customers...Show more
    Last updated: 30+ days ago • Promoted
    Project / Validation Engineer

    Project / Validation Engineer

    Project Farma (PF) • San Francisco, CA, United States
    Full-time
    Welcome to the forefront of innovation in cutting edge patient centered treatments! We are seeking the best and brightest to join our high performing organization as a Project Engineer.If you are l...Show more
    Last updated: 9 days ago • Promoted
    Principal / Staff Validation Engineer San Jose, CA

    Principal / Staff Validation Engineer San Jose, CA

    Efficient Computer Corporation, Inc. • San Jose, CA, United States
    Full-time
    Efficient is developing the world’s most energy-efficient general-purpose computer processor.Efficient’s patented technology uses 100x less energy than state of the art commercially available ultra...Show more
    Last updated: 7 days ago • Promoted
    Senior Software Engineer - Simulation Validation

    Senior Software Engineer - Simulation Validation

    General Motors • Sunnyvale, CA, United States
    Full-time
    As a Senior Software Simulation Validation Engineer, you will be a technical leader responsible for ensuring the quality and reliability of autonomous vehicle simulation platforms.The role bridges ...Show more
    Last updated: 2 days ago • Promoted
    Sr. FPGA Verification Engineer

    Sr. FPGA Verification Engineer

    Reliable Robotics • Mountain View, CA, United States
    Permanent
    We're building safety-enhancing technology for aviation that will save lives.Automated aviation systems will enable a future where air transportation is safer, more convenient and fundamentally tra...Show more
    Last updated: 30+ days ago • Promoted
    Project / Validation Engineer

    Project / Validation Engineer

    Project Farma • San Francisco, CA, United States
    Full-time
    Welcome to the forefront of innovation in patient-centered treatments.We are seeking a Project Engineer to join our high-performing organization in the life sciences space.As a leader within the li...Show more
    Last updated: 7 days ago • Promoted
    Formal Design Verification Engineer

    Formal Design Verification Engineer

    ACL Digital • San Jose, CA, United States
    Full-time
    We are looking for candidates with most recent hands-on experience in formal verification.Minimum of 3yrs experience (most recent experience in formal verification) & NOT looking for anyone with mo...Show more
    Last updated: 24 days ago • Promoted
    Senior Principal System Validation Engineer (AI Fabric Switches)

    Senior Principal System Validation Engineer (AI Fabric Switches)

    Astera Labs • San Jose, CA, United States
    Full-time
    Senior Principal System Validation Engineer (AI Fabric Switches).Astera Labs (NASDAQ : ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions grounded in open stand...Show more
    Last updated: 9 days ago • Promoted
    Senior Software Engineer, Models and Validation

    Senior Software Engineer, Models and Validation

    Aurora Innovation • Mountain View, CA, United States
    Full-time
    Aurora's mission is to deliver the benefits of self-driving technology safely, quickly, and broadly.The Aurora Driver will create a new era in mobility and logistics, one that will bring a safer, m...Show more
    Last updated: 2 days ago • Promoted
    Verification Engineer

    Verification Engineer

    Eridu Corporation • Saratoga, California, United States, 95070
    Full-time
    Eridu AI is a Silicon Valley-based hardware startup pioneering infrastructure solutions that accelerate training and inference for large-scale AI models. Today's AI performance is frequently limited...Show more
    Last updated: 30+ days ago
    Senior FPGA Verification Engineer

    Senior FPGA Verification Engineer

    Planet • San Francisco, CA, United States
    Full-time
    We believe in using space to help life on Earth.Planet designs, builds, and operates the largest constellation of imaging satellites in history. This constellation delivers an unprecedented dataset ...Show more
    Last updated: 9 days ago • Promoted
    Sr. Flight Software Engineer (Verification)

    Sr. Flight Software Engineer (Verification)

    Reliable Robotics • Mountain View, CA, United States
    Permanent
    We're building safety-enhancing technology for aviation that will save lives.Automated aviation systems will enable a future where air transportation is safer, more convenient and fundamentally tra...Show more
    Last updated: 30+ days ago • Promoted
    SoC Wireless Firmware Validation Engineer

    SoC Wireless Firmware Validation Engineer

    Apple Inc. • San Francisco, CA, United States
    Full-time
    A leading technology company based in San Francisco is seeking a Firmware Test Engineer.In this role, you will develop and implement firmware test plans, automate test cases, and collaborate with m...Show more
    Last updated: 23 hours ago • Promoted
    Formal Verification Engineer — Applying LLMs for Chip Design

    Formal Verification Engineer — Applying LLMs for Chip Design

    ChipStack • San Jose, CA, United States
    Full-time
    Formal Verification Engineer — Applying LLMs for Chip Design.Join to apply for the Formal Verification Engineer — Applying LLMs for Chip Design role at ChipStack. Chips are at the center of today’s ...Show more
    Last updated: 30+ days ago • Promoted
    Senior Quantum Systems Validation Engineer

    Senior Quantum Systems Validation Engineer

    PsiQuantum • Milpitas, CA, United States
    Full-time
    Quantum computing holds the promise of humanity's mastery over the natural world, but only if we can build a.PsiQuantum is on a mission to build the first real, useful quantum computers, capable of...Show more
    Last updated: 30+ days ago • Promoted
    Senior FPGA Verification Engineer

    Senior FPGA Verification Engineer

    Planet Labs PBC • San Francisco, CA, United States
    Full-time
    We believe in using space to help life on Earth.Planet designs, builds, and operates the largest constellation of imaging satellites in history. This constellation delivers an unprecedented dataset ...Show more
    Last updated: 30+ days ago • Promoted
    Software Engineer, Quantum Systems Validation

    Software Engineer, Quantum Systems Validation

    PSI Quantum • Milpitas, CA, United States
    Full-time
    Quantum computing holds the promise of humanity's mastery over the natural world, but only if we can build a.PsiQuantum is on a mission to build the first real, useful quantum computers, capable of...Show more
    Last updated: 1 day ago • Promoted
    Senior FPGA Verification Engineer

    Senior FPGA Verification Engineer

    Planet Labs • San Francisco, CA, United States
    Full-time
    We believe in using space to help life on Earth.Planet designs, builds, and operates the largest constellation of imaging satellites in history. This constellation delivers an unprecedented dataset ...Show more
    Last updated: 7 days ago • Promoted