Senior Formal Verification Engineer, Annapurna Labs

Stack

Free. Sign in with email.

Apply

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

Description

Annapurna Labs, a division of Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure, including AWS Graviton processors and the AWS Nitro System.<br/><br/>Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.<br/><br/>Formal verification is everywhere in our projects. Each project has hundreds of formal environments. They range from small blocks with sophisticated data crunching or complex FSMs up to large systems, including chip-fabric deadlock verification.<br/><br/>The Role:<br/>As an L6 Formal Verification Engineer, you'll be the official technical lead and own the FV strategy for a specific subsystem across Graviton and Nitro. You'll distribute work, review from strategy through sign-off, and mentor the engineers on your team. You'll also help shape the FV methodologies the whole team uses.<br/><br/>Your Ideas Shape the Team:<br/>We constantly improve our methods, and any good idea can change how we verify. There are no limits on what formal verification can influence, or on how you can influence formal verification. Senior engineers on our team are co-inventors on formal verification technology patents.<br/><br/>Key job responsibilities<br/>Own the formal verification strategy for a specific subsystem.<br/>Lead a team of FV engineers technically, from work distribution and reviews through sign-off.<br/>Mentor engineers and grow their formal expertise.<br/>Drive and evolve team-wide formal meth

Full description, company and the link to apply — after you sign in. Sign in

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