[Skip to main content](#main-content) [OpenNash Jobs](https://jobs.opennash.com/) [Hiring report](/reports/hiring/) · [All Amazon jobs](https://jobs.opennash.com/companies/amazon/) · [Search jobs](/search/) Amazon · Austin, TX # Sr. Formal Verification Engineer, Amazon Leo US, TX, Austin Senior individual contributor Operations Listed on Amazon’s official careers site. Posted August 26, 2026. Check that it is still open and apply there. [Apply on Amazon’s careers site →](https://www.amazon.jobs/en/jobs/10515790/sr-formal-verification-engineer-amazon-leo) [OpenNash Jobs](https://jobs.opennash.com/) / [Amazon](https://jobs.opennash.com/companies/amazon/) / Sr. Formal Verification Engineer, Amazon Leo ## Job description Amazon's Leo Silicon Team is building next-generation modem SoCs for broadband communication, a constellation of low Earth orbit satellites designed to deliver fast, affordable broadband to unserved and underserved communities around the world. Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs. In this role, you will apply rigorous mathematical methods to prove design correctness and uncover corner-case bugs that escape simulation-based verification. You will serve as a subject matter expert in formal verification methodologies, mentor engineers across the team, and collaborate closely with RTL designers, simulation-based DV engineers, emulation engineers, and architects to shift verification left and improve overall silicon quality. This is a high-impact role on a team that is scaling verification capabilities with each successive tape- out and actively integrating AI-centric verification methodologies. ### Export Control Requirement Due to applicable export control laws and regulations, candidates must be a U.S. citizen or national, U.S. permanent resident (i.e., current Green Card holder), or lawfully admitted into the U.S. as a refugee or granted asylum. ### Key job responsibilities - Develop and execute formal verification strategies using JasperGold and/or Questa Formal for property checking (FPV), connectivity checking (CC), register verification, and sequential equivalence checking (SEQ) - Write, review, and debug SystemVerilog Assertions (SVA) — including assumptions, assertions, and cover properties — to verify complex modem SoC design behaviors across NOC, interconnect, modem IPs and control logic - Drive convergence on formal proofs by applying abstraction techniques, complexity reduction strategies, and assume-guarantee reasoning - Collaborate with RTL designers, architects, and simulation-based DV engineers to define verification plans that incorporate formal methods alongside UVM-based simulation and emulation approaches - Champion a "formal-first" verification strategy by identifying and pursuing opportunities to apply formal verification to new design blocks — building on our established formal verification checklist deployed across SoC and NoC partitions - Develop reusable formal verification infrastructure, including constraint libraries, parameterized property templates, and automated regression flows integrated into our ### CI/CD verification pipeline - Contribute to coverage closure strategies by leveraging formal coverage analysis to complement simulation-driven functional coverage - Mentor and guide DV engineers in formal verification techniques, SVA best practices, and proof convergence strategies - Partner with EDA vendors to evaluate new formal verification capabilities and drive tool improvements that benefit the team ## At a glance - Posted by the employer: Aug 26, 2026 - First seen by OpenNash: Oct 11, 2026 - Last checked: Oct 11, 2026 - Listed for: 46 days - Location: US, TX, Austin[Apply on Amazon’s careers site →](https://www.amazon.jobs/en/jobs/10515790/sr-formal-verification-engineer-amazon-leo) ## More jobs at Amazon ### [ASIC Test Engineer, Annapurna Silicon Operations](https://jobs.opennash.com/companies/amazon/jobs/f4cb6a4c3176cd983a4c/) US, TX, Austin ### [Automation Engineer, Prime Video Trust & Safety](https://jobs.opennash.com/companies/amazon/jobs/253da092f7a76af63ea9/) US, TX, Austin ### [Cellular Systems Engineering Lead, Direct-to-Device, Amazon Leo](https://jobs.opennash.com/companies/amazon/jobs/7340fe5f4f1368e3b04e/) US, TX, Austin ### [Cloud Hardware Development Engineer I, Annapurna Labs, Early Career - 2027](https://jobs.opennash.com/companies/amazon/jobs/22a287ddb23c6fbd3474/) US, TX, Austin ### [Cloud Hardware Development Engineer Intern, Annapurna Labs - 2027](https://jobs.opennash.com/companies/amazon/jobs/33720fc33597b699772f/) US, TX, Austin ## Similar jobs at other companies ### [CPU Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/bbab5f0f9c149727a826/) Qualcomm · Santa Clara, California, United States of America ### [Principal Design Verification Engineer - Formal](https://jobs.opennash.com/companies/microsoft/jobs/63c5570160bfdee65271/) Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View ### [Senior Staff Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/06d0a8e7015cead3b554/) Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara ### [Senior Staff Engineer, GPU Design Verification (Formal Verification)](https://jobs.opennash.com/companies/samsung-electronics/jobs/70bfe6f1562a92bbc862/) Samsung Electronics · San Jose, CA, USA ### [Staff GPU Design Verification Engineer – Formal Verification](https://jobs.opennash.com/companies/samsung-electronics/jobs/0a4cbd8cb1454ba6e1a8/) Samsung Electronics · Austin, TX, USA [Jobs in Austin, TX](/locations/us/tx/austin/)[Jobs in Texas](/locations/us-tx/)[Operations jobs](/functions/operations/) OpenNash lists jobs from employers’ own careers sites and does not handle applications. Dates come from the employer where stated; “first seen” and “last checked” are our own observations. OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)