{"landing":{"id":5582,"type":"technology","title":"Synopsys VC Formal Jobs - Remote & On-site","description":"Synopsys VC Formal jobs hiring now at vetted startups and product companies on Alion, updated daily. Average salary around $282,208/year. Compare remote, hybrid and on-site positions with relocation and visa sponsorship. Browse and apply today.","url":"https://alion.io/jobs/synopsys-vc-formal","json_url":"https://alion.io/jobs/synopsys-vc-formal.json","filters":{"technology_ids_1":"3751"},"updated_at":"2026-10-15T12:20:58Z"},"aggregates":{"jobs":66,"companies":27,"posted_last_7_days":10,"companies_active_90_days":23,"work_mode":{"remote":4,"hybrid":10,"on_site":52},"visa_sponsorship":1,"relocation":4,"equity":7,"salary_stated_n":14,"salary_estimated_n":51,"marked_inactive":3,"salary_usd_annual":{"p10":200000,"avg":272612,"p90":341616},"salary_stated":{"all":{"n":14,"p25":221900,"p50":259000,"p75":310500},"by_seniority":[{"seniority":"senior","n":9,"p25":221900,"p50":259000,"p75":310500}]},"salary_estimated":{"all":{"n":51,"p25":46000,"p50":93000,"p75":163500},"by_seniority":[{"seniority":"senior","n":20,"p25":37500,"p50":93000,"p75":162500},{"seniority":"staff","n":15,"p25":54500,"p50":135000,"p75":182000},{"seniority":"lead","n":11,"p25":51000,"p50":70000,"p75":159500}]},"top_technologies":[{"name":"Synopsys VC Formal","jobs":66},{"name":"SystemVerilog","jobs":55},{"name":"Formal Verification","jobs":55},{"name":"Python","jobs":46},{"name":"Cadence JasperGold","jobs":37},{"name":"Perl","jobs":36},{"name":"UVM","jobs":35},{"name":"Verilog","jobs":17}],"top_locations":[{"name":"Ireland","jobs":5},{"name":"Israel","jobs":3},{"name":"United States","jobs":2},{"name":"China","jobs":2},{"name":"Canada","jobs":1},{"name":"Sweden","jobs":1},{"name":"Taiwan","jobs":1},{"name":"Singapore","jobs":1}],"top_companies":[{"name":"Qualcomm","url":"https://alion.io/company/qualcomm","jobs":12},{"name":"Synopsys","url":"https://alion.io/company/synopsys-inc","jobs":8},{"name":"NVIDIA","url":"https://alion.io/company/nvidia","jobs":8},{"name":"Cisco Systems","url":"https://alion.io/company/cisco-systems","jobs":4},{"name":"Google","url":"https://alion.io/company/google","jobs":3},{"name":"SiFive","url":"https://alion.io/company/sifive","jobs":3},{"name":"Intel","url":"https://alion.io/company/intel","jobs":3},{"name":"Astera Labs","url":"https://alion.io/company/astera-labs-2","jobs":3},{"name":"Hewlett Packard Enterprise","url":"https://alion.io/company/hewlett-packard-enterprise","jobs":2},{"name":"Arm Holdings","url":"https://alion.io/company/arm","jobs":2},{"name":"Eliyan","url":"https://alion.io/company/eliyan","jobs":2},{"name":"Microchip Technology","url":"https://alion.io/company/microchip","jobs":1}]},"content":{"sections":[{"title":"The market right now","text":"Alion currently lists 66 open Synopsys VC Formal jobs from 27 companies. 10 of them were posted or refreshed in the last seven days. 23 of the employers have posted something in the last three months, which is the pool worth watching if you are starting a search now. 3 of the 66 carry the marks of a stale or abandoned posting - open far beyond the usual time to fill, reposted, or on a board that mostly never closes a role - and are marked as likely inactive; the list can hide them. Every listing links straight to the employer, so you apply on their own board rather than through an intermediary."},{"title":"What these roles pay","text":"14 of these Synopsys VC Formal jobs state pay directly. Across them the middle half of the market sits between $222K and $311K a year, with a median of $259K. Figures are gross annual amounts converted to US dollars, so roles in different currencies stay comparable."},{"title":"Where the work is","text":"The largest concentrations of these roles are Ireland (5), Israel (3), United States (2), China (2), and Canada (1). 6% of the listings are fully remote and a further 15% are hybrid, so a large part of this market is open to you regardless of where you live."},{"title":"Who is hiring","text":"The employers with the most open Synopsys VC Formal jobs right now are Qualcomm (12), Synopsys (8), NVIDIA (8), Cisco Systems (4), Google (3), and SiFive (3). Each company page on Alion carries its size, funding stage, tech stack and every other position it has open, so you can judge the employer before you spend an evening on the application."},{"title":"What employers ask for","text":"Reading across the current listings, the tools that come up most often are Synopsys VC Formal (66), SystemVerilog (55), Formal Verification (55), Python (46), Cadence JasperGold (37), Perl (36), UVM (35), and Verilog (17). The counts are how many of these openings name each one, which is a better guide to what is actually being hired for than a generic skills list."},{"title":"Relocation, visas and equity","text":"Of the current Synopsys VC Formal jobs, 1 states visa sponsorship, 4 offer a relocation package, and 7 include equity. These are filters on the list above, so you can narrow it to the ones that make a move possible for you."}],"faq":[{"question":"How many Synopsys VC Formal jobs are open right now?","answer":"There are 66 open Synopsys VC Formal jobs on Alion from 27 companies. The list was last refreshed on October 15, 2026."},{"question":"Are all of these Synopsys VC Formal jobs still being filled?","answer":"Probably not all of them. 3 of the 66 show the marks Alion reads as a likely inactive posting: open far longer than employers usually take to fill such a role, reposted several times, or sitting on a board that rarely closes anything. They stay listed with a warning, and the list can hide them with one switch."},{"question":"What do Synopsys VC Formal jobs pay?","answer":"The median is $259K a year, and the middle half of the market falls between $222K and $311K. This is based on the 14 listings that state pay."},{"question":"Are any of these roles remote?","answer":"4 of the 66 listings (6%) are fully remote, and you can filter the list down to them in one click."},{"question":"Which companies are hiring?","answer":"The most active employers right now are Qualcomm, Synopsys, NVIDIA, Cisco Systems, Google, and SiFive. Each has its own page on Alion with the rest of its open roles."},{"question":"Can I get visa sponsorship or relocation?","answer":"Yes - of the current listings, 1 state visa sponsorship and 4 offer a relocation package. Both are filters on the jobs page."},{"question":"How do I apply?","answer":"Open any listing and apply on the employer's own board through the link on the page. No account is required to browse or to apply."}]},"jobs":[{"id":2560370,"url":"https://alion.io/job/microchip-technology-senior-manager-soc-verification","json_url":"https://alion.io/job/microchip-technology-senior-manager-soc-verification.json","title":"Senior Manager- SOC Verification","company":{"id":44188,"name":"Microchip Technology","url":"https://alion.io/company/microchip"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-14T20:27:24+00:00"},{"id":2580500,"url":"https://alion.io/job/cisco-systems-asic-design-verification-engineer-5","json_url":"https://alion.io/job/cisco-systems-asic-design-verification-engineer-5.json","title":"ASIC Design Verification Engineer","company":{"id":90,"name":"Cisco Systems","url":"https://alion.io/company/cisco-systems"},"work_mode":"on_site","salary":{"min":155000,"max":222600,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-10-14T00:00:00+00:00"},{"id":629384,"url":"https://alion.io/job/cisco-systems-asic-verification-technical-leader-verilog-system-verilog-testbench-uvm-exp-10-years","json_url":"https://alion.io/job/cisco-systems-asic-verification-technical-leader-verilog-system-verilog-testbench-uvm-exp-10-years.json","title":"ASIC Verification Technical Leader || Verilog, System Verilog, Testbench, UVM || Exp - 10+ years","company":{"id":90,"name":"Cisco Systems","url":"https://alion.io/company/cisco-systems"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-03T00:00:00+00:00"},{"id":38954,"url":"https://alion.io/job/cisco-systems-asic-design-verification-engineer-technical-leader","json_url":"https://alion.io/job/cisco-systems-asic-design-verification-engineer-technical-leader.json","title":"ASIC Design Verification Engineer, Technical Leader","company":{"id":90,"name":"Cisco Systems","url":"https://alion.io/company/cisco-systems"},"work_mode":"on_site","salary":{"min":186900,"max":267700,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-10-01T00:00:00+00:00"},{"id":2328815,"url":"https://alion.io/job/synopsys-asic-digital-design-sr-staff-engineer-18870","json_url":"https://alion.io/job/synopsys-asic-digital-design-sr-staff-engineer-18870.json","title":"ASIC Digital Design, Sr Staff Engineer 18870","company":{"id":39954,"name":"Synopsys","url":"https://alion.io/company/synopsys-inc"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-12T08:17:31+00:00"},{"id":1311347,"url":"https://alion.io/job/synopsys-front-end-asic-digital-design-sr-staff-engineer-18423","json_url":"https://alion.io/job/synopsys-front-end-asic-digital-design-sr-staff-engineer-18423.json","title":"Front-End ASIC Digital Design, Sr. Staff Engineer -18423","company":{"id":39954,"name":"Synopsys","url":"https://alion.io/company/synopsys-inc"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-26T16:28:35+00:00"},{"id":1311337,"url":"https://alion.io/job/synopsys-applications-engineering-principal-engineer-18888","json_url":"https://alion.io/job/synopsys-applications-engineering-principal-engineer-18888.json","title":"Applications Engineering, Principal Engineer - 18888","company":{"id":39954,"name":"Synopsys","url":"https://alion.io/company/synopsys-inc"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-26T16:28:35+00:00"},{"id":2671128,"url":"https://alion.io/job/meta-asic-engineer-formal-verification","json_url":"https://alion.io/job/meta-asic-engineer-formal-verification.json","title":"ASIC Engineer, Formal Verification","company":{"id":20,"name":"Meta","url":"https://alion.io/company/meta"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-05T09:24:08+00:00"},{"id":1179262,"url":"https://alion.io/job/micron-technology-principal-asic-design-engineer","json_url":"https://alion.io/job/micron-technology-principal-asic-design-engineer.json","title":"Principal ASIC Design Engineer","company":{"id":37,"name":"Micron Technology","url":"https://alion.io/company/micron-technology"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-24T12:42:41+00:00"},{"id":1168924,"url":"https://alion.io/job/sifive-senior-cpu-formal-verification-engineer","json_url":"https://alion.io/job/sifive-senior-cpu-formal-verification-engineer.json","title":"Senior CPU Formal Verification Engineer","company":{"id":58802,"name":"SiFive","url":"https://alion.io/company/sifive"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-24T00:00:00+00:00"},{"id":1106471,"url":"https://alion.io/job/sifive-distinguished-formal-verification-architect","json_url":"https://alion.io/job/sifive-distinguished-formal-verification-architect.json","title":"Distinguished Formal Verification Architect","company":{"id":58802,"name":"SiFive","url":"https://alion.io/company/sifive"},"work_mode":"on_site","salary":{"min":279504,"max":341616,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-09-21T00:00:00+00:00"},{"id":196275,"url":"https://alion.io/job/sifive-staff-formal-verification-engineer","json_url":"https://alion.io/job/sifive-staff-formal-verification-engineer.json","title":"Staff - Formal Verification Engineer","company":{"id":58802,"name":"SiFive","url":"https://alion.io/company/sifive"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-03T00:00:00+00:00"},{"id":2472072,"url":"https://alion.io/job/qualcomm-noc-dv-sr-lead-engineer","json_url":"https://alion.io/job/qualcomm-noc-dv-sr-lead-engineer.json","title":"NOC DV Sr Lead Engineer","company":{"id":94,"name":"Qualcomm","url":"https://alion.io/company/qualcomm"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-13T00:00:00+00:00"},{"id":2346378,"url":"https://alion.io/job/qualcomm-noc-dv-sr-engineer","json_url":"https://alion.io/job/qualcomm-noc-dv-sr-engineer.json","title":"NOC DV Sr Engineer","company":{"id":94,"name":"Qualcomm","url":"https://alion.io/company/qualcomm"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-12T00:00:00+00:00"},{"id":2346371,"url":"https://alion.io/job/qualcomm-noc-dv-staff-engineer-2","json_url":"https://alion.io/job/qualcomm-noc-dv-staff-engineer-2.json","title":"NOC DV Staff Engineer","company":{"id":94,"name":"Qualcomm","url":"https://alion.io/company/qualcomm"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-12T00:00:00+00:00"},{"id":1209210,"url":"https://alion.io/job/intel-corporation-cpu-pre-si-verification-engineer","json_url":"https://alion.io/job/intel-corporation-cpu-pre-si-verification-engineer.json","title":"CPU Pre-Si Verification Engineer","company":{"id":35,"name":"Intel","url":"https://alion.io/company/intel"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-09-24T00:00:00+00:00"},{"id":105178,"url":"https://alion.io/job/intel-corporation-senior-design-verification-engineer","json_url":"https://alion.io/job/intel-corporation-senior-design-verification-engineer.json","title":"Senior Design Verification Engineer","company":{"id":35,"name":"Intel","url":"https://alion.io/company/intel"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-07-16T00:00:00+00:00"},{"id":168465,"url":"https://alion.io/job/intel-corporation-senior-formal-verification-engineer-ai-soc-development","json_url":"https://alion.io/job/intel-corporation-senior-formal-verification-engineer-ai-soc-development.json","title":"Senior Formal Verification Engineer – AI SoC Development","company":{"id":35,"name":"Intel","url":"https://alion.io/company/intel"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-02-20T00:00:00+00:00"},{"id":2053342,"url":"https://alion.io/job/lubis-eda-manager-formal-verification-mfd","json_url":"https://alion.io/job/lubis-eda-manager-formal-verification-mfd.json","title":"Manager Formal Verification (m/f/d)","company":{"id":2436431,"name":"LUBIS EDA","url":"https://alion.io/company/lubis-eda"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-09-23T17:23:58+00:00"},{"id":2314691,"url":"https://alion.io/job/nuvacore-formal-verification-engineer","json_url":"https://alion.io/job/nuvacore-formal-verification-engineer.json","title":"Formal Verification Engineer","company":{"id":4394072,"name":"NUVACORE","url":"https://alion.io/company/nuvacore"},"work_mode":"hybrid","salary":{"min":140000,"max":250000,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-09-18T18:22:54+00:00"},{"id":1164357,"url":"https://alion.io/job/hewlett-packard-enterprise-senior-design-verification-engineer","json_url":"https://alion.io/job/hewlett-packard-enterprise-senior-design-verification-engineer.json","title":"Senior Design Verification Engineer","company":{"id":5292,"name":"Hewlett Packard Enterprise","url":"https://alion.io/company/hewlett-packard-enterprise"},"work_mode":"on_site","salary":{"min":153500,"max":310500,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-09-16T00:00:00+00:00"},{"id":1164352,"url":"https://alion.io/job/hewlett-packard-enterprise-senior-methodologist-for-aiml-enhanced-designverification","json_url":"https://alion.io/job/hewlett-packard-enterprise-senior-methodologist-for-aiml-enhanced-designverification.json","title":"Senior Methodologist for AIML Enhanced Design/Verification","company":{"id":5292,"name":"Hewlett Packard Enterprise","url":"https://alion.io/company/hewlett-packard-enterprise"},"work_mode":"on_site","salary":{"min":174000,"max":352500,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-09-16T00:00:00+00:00"},{"id":934542,"url":"https://alion.io/job/cadence-design-systems-lead-verification-engineer","json_url":"https://alion.io/job/cadence-design-systems-lead-verification-engineer.json","title":"Lead Verification Engineer","company":{"id":4351,"name":"Cadence Design Systems","url":"https://alion.io/company/cadence"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-15T13:47:58+00:00"},{"id":1278000,"url":"https://alion.io/job/google-asic-formal-verification-engineer-google-cloud","json_url":"https://alion.io/job/google-asic-formal-verification-engineer-google-cloud.json","title":"ASIC Formal Verification Engineer, Google Cloud","company":{"id":82,"name":"Google","url":"https://alion.io/company/google"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-15T12:20:58+00:00"},{"id":1278178,"url":"https://alion.io/job/google-senior-soc-formal-verification-engineer-google-cloud","json_url":"https://alion.io/job/google-senior-soc-formal-verification-engineer-google-cloud.json","title":"Senior SoC Formal Verification Engineer, Google Cloud","company":{"id":82,"name":"Google","url":"https://alion.io/company/google"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-13T10:59:38+00:00"},{"id":1315555,"url":"https://alion.io/job/google-asic-formal-verification-engineer-tpu-compute","json_url":"https://alion.io/job/google-asic-formal-verification-engineer-tpu-compute.json","title":"ASIC Formal Verification Engineer, TPU Compute","company":{"id":82,"name":"Google","url":"https://alion.io/company/google"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-10-15T12:20:58+00:00"},{"id":1842560,"url":"https://alion.io/job/semtech-sr-design-verification-engineer-digital","json_url":"https://alion.io/job/semtech-sr-design-verification-engineer-digital.json","title":"Sr. Design Verification Engineer - Digital","company":{"id":58922,"name":"Semtech","url":"https://alion.io/company/semtech"},"work_mode":"hybrid","salary":{"min":130000,"max":200000,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-09-15T00:00:00+00:00"},{"id":2120555,"url":"https://alion.io/job/arm-holdings-senior-verification-engineer-ip-verification","json_url":"https://alion.io/job/arm-holdings-senior-verification-engineer-ip-verification.json","title":"Senior Verification Engineer (IP verification)","company":{"id":268,"name":"Arm Holdings","url":"https://alion.io/company/arm"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-09-09T00:00:00+00:00"},{"id":2121533,"url":"https://alion.io/job/arm-holdings-senior-soc-formal-verification-engineer","json_url":"https://alion.io/job/arm-holdings-senior-soc-formal-verification-engineer.json","title":"Senior SoC Formal verification Engineer","company":{"id":268,"name":"Arm Holdings","url":"https://alion.io/company/arm"},"work_mode":"hybrid","salary":null,"status":"live","updated_at":"2026-08-11T00:00:00+00:00"},{"id":194413,"url":"https://alion.io/job/nvidia-formal-verification-engineer","json_url":"https://alion.io/job/nvidia-formal-verification-engineer.json","title":"Formal Verification Engineer","company":{"id":6,"name":"NVIDIA","url":"https://alion.io/company/nvidia"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-08-27T00:00:00+00:00"},{"id":195330,"url":"https://alion.io/job/nvidia-formal-verification-engineer-new-college-grad-2026","json_url":"https://alion.io/job/nvidia-formal-verification-engineer-new-college-grad-2026.json","title":"Formal Verification Engineer - New College Grad 2026","company":{"id":6,"name":"NVIDIA","url":"https://alion.io/company/nvidia"},"work_mode":"on_site","salary":{"min":100000,"max":166750,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-10-06T20:05:40+00:00"},{"id":195367,"url":"https://alion.io/job/nvidia-senior-formal-verification-engineer-lpu-3","json_url":"https://alion.io/job/nvidia-senior-formal-verification-engineer-lpu-3.json","title":"Senior Formal Verification Engineer - LPU","company":{"id":6,"name":"NVIDIA","url":"https://alion.io/company/nvidia"},"work_mode":"remote","salary":{"min":196000,"max":310500,"currency":"USD","period":"year"},"status":"live","updated_at":"2026-07-06T00:00:00+00:00"},{"id":96741,"url":"https://alion.io/job/architect-ai-member-of-technical-staff-formal-verification","json_url":"https://alion.io/job/architect-ai-member-of-technical-staff-formal-verification.json","title":"Member of Technical Staff - Formal Verification","company":{"id":21461,"name":"Architect AI","url":"https://alion.io/company/architect"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-08-17T18:49:38+00:00"},{"id":462462,"url":"https://alion.io/job/astera-labs-tech-lead-formal-verification","json_url":"https://alion.io/job/astera-labs-tech-lead-formal-verification.json","title":"Tech Lead, Formal Verification","company":{"id":178069,"name":"Astera Labs","url":"https://alion.io/company/astera-labs-2"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-23T20:03:01+00:00"},{"id":462436,"url":"https://alion.io/job/astera-labs-senior-staff-formal-verification-engineer","json_url":"https://alion.io/job/astera-labs-senior-staff-formal-verification-engineer.json","title":"Senior/ Staff Formal Verification Engineer","company":{"id":178069,"name":"Astera Labs","url":"https://alion.io/company/astera-labs-2"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-23T20:03:01+00:00"},{"id":462314,"url":"https://alion.io/job/astera-labs-distinguished-formal-verification","json_url":"https://alion.io/job/astera-labs-distinguished-formal-verification.json","title":"Distinguished Formal Verification","company":{"id":178069,"name":"Astera Labs","url":"https://alion.io/company/astera-labs-2"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-09-23T20:03:01+00:00"},{"id":958477,"url":"https://alion.io/job/analog-devices-principal-engineer-design-verification","json_url":"https://alion.io/job/analog-devices-principal-engineer-design-verification.json","title":"Principal Engineer, Design Verification","company":{"id":58431,"name":"Analog Devices","url":"https://alion.io/company/analog-devices"},"work_mode":"remote","salary":null,"status":"live","updated_at":"2026-07-29T00:00:00+00:00"},{"id":454782,"url":"https://alion.io/job/bitdeer-seniorstaff-design-verification-engineer","json_url":"https://alion.io/job/bitdeer-seniorstaff-design-verification-engineer.json","title":"Senior/Staff Design Verification Engineer","company":{"id":174995,"name":"Bitdeer Technologies Group","url":"https://alion.io/company/bitdeer"},"work_mode":"on_site","salary":null,"status":"live","updated_at":"2026-07-21T01:19:55+00:00"}],"jobs_on_page":38,"page":{"number":1,"total_pages":2,"has_next_page":true,"next_page_url":"https://alion.io/jobs/synopsys-vc-formal/page/2"},"offers":[{"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":"the whole selection, past the first page","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=jobs%2Fsynopsys-vc-formal"}],"meta":{"generated_at":"2026-10-17T19:51:20Z","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"}}