{"id":2621309,"url":"https://alion.io/job/amazon-formal-verification-engineer-annapurna-labs","title":"Formal Verification Engineer, Annapurna Labs","company":{"id":19,"name":"Amazon","domain":"amazon.com","url":"https://alion.io/company/amazon","size_band":"5000+","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Career site","truth_index":{"grade":"A","score":87,"open_postings":1872,"ghost_share":0,"stale_share":0.733,"repost_share":0.002,"time_to_fill_p50_days":15,"computed_at":"2026-10-17T05:46:00Z"}},"role":"Hardware","role_family":"Hardware","seniority":null,"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"],"countries":["IL"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":82000,"max_usd":240000,"period":"year","method":null,"sample_n":3689},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"AWS","optional":false},{"name":"Formal Verification","optional":false},{"name":"Perl","optional":true},{"name":"Python","optional":true},{"name":"SystemVerilog","optional":true},{"name":"Verilog","optional":true}],"status":"live","first_seen_at":"2026-10-15T13:25:10Z","employer_posted_date":"2026-10-15","last_verified_at":"2026-10-18T09:33:23Z","board_verified":true,"closed_at":null,"days_open":2,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":2},"description":"Annapurna Labs, part of AWS, designs the silicon behind AWS infrastructure, including AWS Graviton processors and the AWS Nitro System. What you prove here runs in millions of servers worldwide.\nFormal verification is everywhere in our projects. Each project has hundreds of formal environments, from small blocks with sophisticated data crunching or complex FSMs up to chip-fabric deadlock verification.\nThe Role:\nAs a Formal Verification Engineer, you'll own FV for blocks within a Graviton or Nitro subsystem, end to end from architecture to sign-off. You'll work with technical leads and serve as a mentor and knowledge source for other engineers.\nYour Ideas Shape the Team:\nIf a technique works, we adopt it, whoever proposed it. We're pushing AI and agentic flows into everyday verification work, and your ideas will decide how far it goes. Senior engineers on our team are co-inventors on formal verification patents.\nWhat We Offer: A role we count on: formal results drive sign-off decisions, and other teams plan around them\nInvolvement from day one: \nFV engineers join at architecture, define what must be proven, and shape designs to be provable before RTL is written.\nA real partnership with design: we define verification intent together\nA team where senior FV leaders work alongside early-career engineers who bring energy and fresh ideas. \nWe like the work, and we like working together.\nKey job responsibilities\n* Own formal verification of your blocks from architecture through sign-off\n* Write the formal plan and define what must be proven\n* Build formal environments covering FPV, sequential equivalence, connectivity, X-prop, security, and liveness\n* Solve convergence problems with abstraction, invariants, and decomposition\n* Report clearly what is proven, what is bounded, and what is still open\n* Work with design teams to define verification intent and improve design quality\n* Bring new techniques, including AI and agentic flows, into team flows\nA day in the life\nIn this role, you'll engage in pre-silicon verification work that connects every phase of our product development journey- from initial product definition through firmware and software development.\nYou'll collaborate with hardware designers, software engineers, and cross-functional teams to validate complex semiconductor architectures and protocols.\nYour days might include developing and executing verification test plans, analyzing simulation results, troubleshooting design issues, and participating in design reviews.\nYou'll work with advanced verification methodologies and tools, gaining exposure to cutting-edge technologies that define the next generation of cloud infrastructure.\nAbout the team\nWe are a collaborative verification team that serves as the connective tissue across our entire product development lifecycle. Our mission is to ensure the reliability and performance of innovative semiconductor platforms that power AWS services globally. We work closely with hardware design, firmware, and software teams to validate complex systems before they reach production. We're committed to continuous improvement and seek opportunities to enhance our verification processes and deliver better solutions to our customers. Joining our team means becoming part of a group dedicated to technical excellence and supporting the infrastructure that enables millions of cloud customers worldwide.\nBasic qualifications\n- Bachelor's degree in Electrical Engineering or a related field\n- Abstraction and complexity-reduction techniques\n- Cover-based and semi-formal verification, and helper assertions\n- Protocol knowledge: APB, AXI, CHI, networking related\n- Experience or strong interest in applying AI to engineering work\n- Experience mentoring other engineers\nPreferred qualifications\n- Knowledge of the following programming languages: Perl/Bash/TCl/Python/\n- Knowledge of PCIe, Processors, Ethernet, DDR\n- Sound understanding and knowledge of object-oriented programming concepts\n- Verilog/SystemVerilog/Specman\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":4467,"description_truncated":false,"requirements":{"experience_years_min":null,"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":["Advertising","Cloud Platforms (IaaS & PaaS)","Logistics","Streaming & OTT Platforms"],"lifecycle":[{"event":"open","at":"2026-10-15T13:25:10Z"}],"visa":[],"liveness":{"score":63,"band":"ok","label":"Likely open","p_open":1,"p_active":0.632,"p_room":1,"age_days":1,"expected_fill_days":15,"reasons":["conf:2","stale_co","velocity","win:early","comp:brand"],"computed_at":"2026-10-17T05:46:00Z"},"pay":null,"html_url":"https://alion.io/job/amazon-formal-verification-engineer-annapurna-labs","json_url":"https://alion.io/job/amazon-formal-verification-engineer-annapurna-labs.json","meta":{"generated_at":"2026-10-18T13:03:31Z","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":19422,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-19T00: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-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-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-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-formal-verification-engineer-annapurna-labs\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Famazon-formal-verification-engineer-annapurna-labs"}]}