{"id":2733100,"url":"https://alion.io/job/amazon-sr-formal-verification-engineer-amazon-leo","title":"Sr. Formal Verification Engineer, Amazon Leo","company":{"id":19,"name":"Amazon","domain":"amazon.com","url":"https://alion.io/company/amazon","size_band":"1-10","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Career site","truth_index":{"grade":"B","score":78,"open_postings":4471,"ghost_share":0,"stale_share":0.891,"repost_share":0.001,"time_to_fill_p50_days":25,"computed_at":"2026-11-02T06:13:15Z"}},"role":"Hardware","role_family":"Hardware","seniority":"senior","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Austin, United States","San Diego, United States","Sunnyvale, United States","Redmond, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":{"min":185200,"max":250000,"currency":"USD","period":"year","gross":null,"usd_annual":250000},"salary_estimate":null,"experience_years_min":8,"visa_sponsorship":false,"relocation_package":false,"has_equity":true,"technologies":[{"name":"Cadence JasperGold","optional":false},{"name":"CI/CD","optional":false},{"name":"Formal Verification","optional":false},{"name":"LLM","optional":false},{"name":"SystemVerilog","optional":false},{"name":"UVM","optional":false},{"name":"Perl","optional":true},{"name":"Python","optional":true}],"status":"live","first_seen_at":"2026-08-26T00:00:00Z","employer_posted_date":"2026-10-16","last_verified_at":"2026-11-02T19:54:21Z","board_verified":true,"closed_at":null,"days_open":68,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":68},"description":"Amazon's Leo Silicon Team is building next-generation modem SoCs for broadband\ncommunication, 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.\nIn this role, you will apply rigorous mathematical methods to prove design correctness and\nuncover 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-\nout and actively integrating AI-centric verification methodologies.\nExport Control Requirement:\nDue 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.\nKey job responsibilities\nDevelop 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)\nWrite, 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\nDrive convergence on formal proofs by applying abstraction techniques, complexity reduction strategies, and assume-guarantee reasoning\nCollaborate with RTL designers, architects, and simulation-based DV engineers to define verification plans that incorporate formal methods alongside UVM-based simulation and emulation approaches\nChampion 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\nDevelop reusable formal verification infrastructure, including constraint libraries, parameterized property templates, and automated regression flows integrated into our CI/CD verification pipeline\nContribute to coverage closure strategies by leveraging formal coverage analysis to complement simulation-driven functional coverage\nMentor and guide DV engineers in formal verification techniques, SVA best practices, and proof convergence strategies\nPartner with EDA vendors to evaluate new formal verification capabilities and drive tool improvements that benefit the team\nBasic qualifications\n- Bachelor's degree in electrical engineering, computer engineering, or equivalent\n- 8+ years of experience in ASIC/SoC design verification with a strong focus on formal verification\n- Experience with JasperGold and/or Questa Formal\n- Strong proficiency in SystemVerilog Assertions (SVA) and formal property specification\n- Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis\n- Demonstrated ability to drive proof convergence on complex designs using abstraction, case-splitting, and assume-guarantee techniques\n- Proficiency in SystemVerilog and UVM concepts\n- Proficiency in leveraging AI/LLM tools to accelerate formal verification workflows including AI-assisted SVA generation, property debugging, proof exploration, and automated constraint refinement\nPreferred qualifications\n- Master's or PhD in Electrical Engineering, Computer Engineering, or a related field with a focus on formal methods\n- Experience verifying complex SoC designs including NoC/interconnect fabrics, memory subsystems, or communication protocol logic\n- Familiarity with modem/PHY/DSP architectures or satellite communications systems\n- Experience with scripting languages (Python, TCL, Perl) for flow automation and regression management\n- Track record of finding critical silicon bugs using formal methods that escaped simulation\n- Experience integrating formal verification into continuous integration (CI) workflows\n- Familiarity with emulation-based verification and how formal methods complement emulation strategies\n- Strong written and verbal communication skills with the ability to influence cross- functional teams\nAmazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.\nLos Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.\nOur inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.\nThe base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.\nUSA, CA, San Diego - 185,200.00 - 250,000.00 USD annually\nUSA, CA, Sunnyvale - 213,000.00 - 287,500.00 USD annually\nUSA, TX, Austin - 185,200.00 - 250,000.00 USD annually\nUSA, WA, Redmond - 185,200.00 - 250,000.00 USD annually","description_format":"text","description_chars":7111,"description_truncated":false,"requirements":{"experience_years_min":8,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":true},"security_clearance":false,"languages":[]},"benefits":["Health insurance","Parental leave","Restricted stock units"],"hiring_locations":[{"name":"United States","iso":"US","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["Robotics AI","Advertising","Logistics","Logistics & Warehouse Robotics"],"lifecycle":[{"event":"open","at":"2026-10-16T18:13:56Z"}],"visa":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 16,768 · green card filings: 56","filings_12m":16768,"filings_prev_12m":16262,"green_card_filings_12m":56,"median_offered_wage_usd":162609,"route":null,"cap_exempt":false,"checked_at":"2026-10-29T16:27:21+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)","US Department of Labor: PERM disclosure data (green cards)"],"filings_for_role_12m":0}],"liveness":{"score":11,"band":"cold","label":"Long shot","p_open":1,"p_active":0.405,"p_room":0.28,"age_days":68,"expected_fill_days":25,"reasons":["conf:3","stale_co","velocity","win:tail","crowd:brand"],"computed_at":"2026-11-02T06:13:15Z"},"pay":{"stated_usd_annual":250000,"is_top_pay":true},"html_url":"https://alion.io/job/amazon-sr-formal-verification-engineer-amazon-leo","json_url":"https://alion.io/job/amazon-sr-formal-verification-engineer-amazon-leo.json","meta":{"generated_at":"2026-11-02T20:59:35Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":29350,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-03T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":19},"rest":"https://alion.io/mcp/rest/get_company?id=19"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Famazon-sr-formal-verification-engineer-amazon-leo"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Famazon-sr-formal-verification-engineer-amazon-leo"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Famazon-sr-formal-verification-engineer-amazon-leo"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/amazon-sr-formal-verification-engineer-amazon-leo\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Famazon-sr-formal-verification-engineer-amazon-leo"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":2733100}},{"tool":"search_jobs","arguments":{"company":"amazon.com","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":2733100},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}