← All roles

ASIC Formal Verification Engineer I

Amazon· Hardware Development
Apply on company site
Hybrid (Austin), Hybrid (Cupertino)$116.1k - $133.6kfull-timePosted yesterday

About the role

Formal verification engineer role in Annapurna Labs within AWS, focusing on defining and checking specifications of critical hardware modules using formal methods and industrial model checkers, with pre-silicon hardware design responsibilities and RTL/SystemVerilog experience.

Responsibilities

  • Define and check the specification of critical hardware modules using formal methods and industrial model checkers.
  • Understand requirements of specific hardware blocks and write functional descriptions of correct behavior.
  • Write specifications in Verilog and System Verilog Assertions (SVA).
  • Use industrial model checkers to prove hardware matches the modeled specification.
  • Develop modeling abstractions and use inductive reasoning for proof techniques.
  • Leverage automation techniques and scripting flows to accelerate proof techniques.

Qualifications

  • Bachelor's or Master’s degree (completed or in progress).
  • Completed coursework or internship experience with formal methods (software/hardware).
  • Coursework or internship experience in basic computer architecture.

Skills

Required:Formal methodsVerilog / SystemVerilog
Nice to have:Model checkersScripting

Benefits

  • Starting pay: Austin, TX - 116,100 USD annually; Cupertino, CA - 133,600 USD annually.
  • Benefits include EAP, Mental Health Support, Medical Advice Line, 401(k) matching.
Last updated Oct 25, 2026. Interested? Apply on the company site.

About Amazon

Amazon.com, Inc. or its affiliates

liquid-ai-recruiting-target
Company profileWebsite

More open roles at Amazon