Senior Formal Verification Engineer, Annapurna Labs

Job overview

The Senior Formal Verification Engineer role is an onsite position based in Austin, TX. The base salary range is $159,200.00 - $215,300.00 USD annually, and this role supports the Annapurna Labs team in developing machine learning acceleration hardware. This role exists to develop formal verification plans and implement state-of-the-art IP architectures for custom SoCs. The engineer works with block designers to ensure design integrity and contributes to the overall simulation strategy.

What you'll do

• Develop formal verification plans
• Work with block designers to gain micro-architectural understanding
• Develop checking algorithms, assertions, and FV models
• Perform formal methods and abstraction techniques
• Participate in test plan and coverage reviews.

What we're looking for

Skills & competencies

full-time

day shift

austin tx

annapurna labs

formal verification

asic

machine learning

hardware

$159k-$215k/yr

Work arrangement

• Weekend coverage required

Benefits & perks

• Health insurance, 401(k) matching, paid time off, parental leave, sign-on payments, RSUs

Why this role

Requires 7+ years of practical experience with formal verification.

About the employer

Annapurna Labs (U.S.) Inc. is hiring for this role. Industry: Custom Computer Programming Services. Sector: 54.