Overview
Galois applies formal methods and functional programming to build trust in critical systems used in aerospace, defense, government, fintech, and healthcare. Its work focuses on proving software and hardware behave correctly through mathematical proofs, not just tests, using tools like Cryptol for cryptographic specifications and SAW for verification. The company translates research into real-world technology for agencies and industry partners and spins out specialized companies to commercialize its innovations, while remaining employee-owned. Its goal is to deliver verifiable, high-assurance software and hardware for safety- and mission-critical applications.
Work here?Claim your company
About Galois
Industries
Company Size
51-200
Company Stage
N/A
Total Funding
$109.4M
Headquarters
Portland, Oregon
Founded
1999
Get referred to Galois
See people who can refer or advise you
Simplify's Take
What believers are saying
- DARPA's $12.6 million COOP award validates Galois's continuous-correctness platform through April 2026.
- On March 31, 2026, Galois released an AADL Library for SysMLv2 with Collins Aerospace.
- In January 2026, CAMET became free for ten users, widening adoption and upsell.
What critics are saying
- Galois depends on government customers; COOP ended April 2026, forcing replacement revenue.
- Free CAMET undercuts recurring license revenue unless Enterprise sales quickly offset losses.
- If DARPA and ARPA-H funding dries up, Galois becomes an endangered services boutique.
What makes Galois unique
- Galois still sells mathematical proofs for critical systems, not testing, as of August 2026.
- Its 2026 AI-for-formal-methods stack targets legacy code, specification generation, and Rust transpilation.
- The company keeps spinning out niche businesses, including ExistX and Niobium Microsystems.
Help us improve and share your feedback! Did you find this helpful?
Funding
Total Funding
$109.4M
Above
Industry Average
Funded Over
10 Rounds
Benefits
Health Insurance
Dental Insurance
Vision Insurance
Health Savings Account/Flexible Spending Account
401(k) Retirement Plan
401(k) Company Match
Company Equity
Mental Health Support
Paid Vacation
Paid Holidays
Parental Leave
Hybrid Work Options
Growth & Insights and Company News
6 month growth
1%1 year growth
1%2 year growth
0%For best search results, use the search terms first and then apply the filters. Search results are downloadable for 10,000 or fewer records.
Galois is Hiring for 3 Jobs on Simplify!
Find jobs on Simplify and start your career today
About Galois
Industries
Company Size
51-200
Company Stage
N/A
Total Funding
$109.4M
Headquarters
Portland, Oregon
Founded
1999
Galois is Hiring for 3 Jobs on Simplify!
Find jobs on Simplify and start your career today