EngineeringOn site
Sr. Formal Verification Engineer, Amazon Leo
AmazonAustin, TX
Posted Aug 26, 2026
What you’d do
Develop and execute formal verification strategies using JasperGold and/or Questa Formal for property checking, connectivity checking, and register verification. Full-time role in Austin, Texas; candidates must meet U.S. export control requirements. Found on the employer's careers page on Sep 30, 2026. Apply through the link.
Our summary of the listing. The full listing has the details.