{"id":2877210,"url":"https://alion.io/job/amazon-senior-formal-verification-engineer-annapurna-labs","title":"Senior Formal Verification Engineer, Annapurna Labs","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":4442,"ghost_share":0,"stale_share":0.891,"repost_share":0.001,"time_to_fill_p50_days":22,"computed_at":"2026-10-27T05:46:45Z"}},"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":["Haifa, Israel","Tel Aviv, Israel"],"countries":["IL"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":110000,"max_usd":251000,"period":"year","method":"global_role_cell_scaled_by_country","sample_n":1936},"experience_years_min":8,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AWS","optional":false},{"name":"Formal Verification","optional":false},{"name":"SystemVerilog","optional":false}],"status":"live","first_seen_at":"2026-10-19T21:45:44Z","employer_posted_date":"2026-10-19","last_verified_at":"2026-10-27T06:44:19Z","board_verified":true,"closed_at":null,"days_open":7,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":7},"description":"Annapurna Labs, a division of Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure, including AWS Graviton processors and the AWS Nitro System.\nWorking for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.\nFormal verification is everywhere in our projects. Each project has hundreds of formal environments. They range from small blocks with sophisticated data crunching or complex FSMs up to large systems, including chip-fabric deadlock verification.\nThe Role:\nAs an L6 Formal Verification Engineer, you'll be the official technical lead and own the FV strategy for a specific subsystem across Graviton and Nitro. You'll distribute work, review from strategy through sign-off, and mentor the engineers on your team. You'll also help shape the FV methodologies the whole team uses.\nYour Ideas Shape the Team:\nWe constantly improve our methods, and any good idea can change how we verify. There are no limits on what formal verification can influence, or on how you can influence formal verification. Senior engineers on our team are co-inventors on formal verification technology patents.\nKey job responsibilities\nOwn the formal verification strategy for a specific subsystem.\nLead a team of FV engineers technically, from work distribution and reviews through sign-off.\nMentor engineers and grow their formal expertise.\nDrive and evolve team-wide formal methodologies.\nBuild and apply AI and agentic flows in formal verification.\nWork closely with design teams to define verification intent and improve design quality.\nA day in the life\nWhat We Offer:\n* Broad influence on almost every aspect of how the team works\n* AI and agentic flows built into how we do formal verification\n* A true engineering partnership with design, including joint patents\n*The chance to apply formal to Graviton and Nitro, from complex blocks to full-fabric deadlock problems\nBasic qualifications\n- Bachelor's degree in Electrical Engineering, Computer Science, or a related field\n- 8+ years of hands-on formal verification Expert knowledge of SystemVerilog Assertions (SVA)\n- Hands-on expertise with industry formal tools (any vendor)\n- Experience owning formal verification of complex designs through sign-off\nPreferred qualifications\n- Abstraction and complexity reduction techniques\n- Cover-based and semi-formal verification, and helper assertions\n- Protocol knowledge: AXI, CHI, networking\n- Familiarity with AI/ML applications in verification\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.","description_format":"text","description_chars":2952,"description_truncated":false,"requirements":{"experience_years_min":8,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Robotics AI","Gift Cards & Loyalty Programs","Coupons, Deals & Cashbacks","Logistics & Warehouse Robotics"],"lifecycle":[{"event":"open","at":"2026-10-19T21:45:44Z"}],"visa":[],"liveness":{"score":61,"band":"ok","label":"Likely open","p_open":1,"p_active":0.608,"p_room":1,"age_days":7,"expected_fill_days":22,"reasons":["conf:3","stale_co","velocity","win:early","comp:brand"],"computed_at":"2026-10-27T05:46:45Z"},"pay":null,"html_url":"https://alion.io/job/amazon-senior-formal-verification-engineer-annapurna-labs","json_url":"https://alion.io/job/amazon-senior-formal-verification-engineer-annapurna-labs.json","meta":{"generated_at":"2026-10-27T07:54:07Z","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":8646,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-28T00: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-senior-formal-verification-engineer-annapurna-labs"},{"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-senior-formal-verification-engineer-annapurna-labs"},{"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-senior-formal-verification-engineer-annapurna-labs"},{"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-senior-formal-verification-engineer-annapurna-labs\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Famazon-senior-formal-verification-engineer-annapurna-labs"}]}