Formal Verification Engineer, Annapurna Labs

Stack

Apply

Upload your CV — we will connect you with the employer directly through our pool.

Description

<br/>Annapurna Labs, part of AWS, designs the silicon behind AWS infrastructure, including AWS Graviton processors and the AWS Nitro System. <br/><br/>Formal verification is everywhere in our projects. <br/><br/>The Role:<br/>As an L5 Formal Verification Engineer, you'll own FV for blocks within a Graviton or Nitro subsystem, end to end from architecture to sign-off. <br/><br/>Your Ideas Shape the Team: <br/>If a technique works, we adopt it, whoever proposed it. We're pushing AI and agentic flows into everyday verification work, and your ideas will decide how far it goes. <br/><br/>What We Offer:<br/>* A role we count on: formal results drive sign-off decisions, and other teams plan around them<br/>* Involvement from day one: FV engineers join at architecture, define what must be proven, and shape designs to be provable before RTL is written<br/>* A real partnership with design: we define verification intent together<br/>* A team where senior FV leaders work alongside early-career engineers who bring energy and fresh ideas. <br/><br/>Key job respo

Employer contacts (email/phone/telegram) are hidden from the public preview — send your CV, and we will connect you directly.