Formal Verification Engineer, Annapurna Labs

Стек

Откликнуться

Загрузите резюме — мы свяжем вас с работодателем напрямую через нашу базу.

Описание

<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

Контакты работодателя (email/phone/telegram) скрыты из публичного превью — отправьте резюме, чтобы мы связали вас напрямую.