Senior Formal Verification Engineer, Annapurna Labs

Стек

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

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

Описание

<br/><br/>Formal verification is everywhere in our projects. Each project has hundreds of formal environments. <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. <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. <br/>Drive and evolve team-wide formal meth

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