Work Here?
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.
About Galois
Industries
Government & Public Sector
Cybersecurity
Aerospace
Defense
Company Size
51-200
Company Stage
N/A
Total Funding
$107.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
- March 2026 ARPA-H UPGRADE hackathon validates hospital cybersecurity demand and execution.
- February 2025 DARPA awarded Galois $12.6 million for HEIMDALLR and COOP.
- January 2026 releases of GREASE, Cryptol 3.4.0, and SAW 1.4 expand adoption.
What critics are saying
- Galois depends on DARPA and ARPA-H contracts; funding pauses hit 2027 revenue.
- Free CAMET in March 2026 signals tool commoditization before monetization.
- Highly specialized researchers are hard to replace; attrition breaks delivery timelines fast.
What makes Galois unique
- Employee-owned since 2023, Galois keeps research incentives aligned with client trust.
- Cryptol, SAW, and SAW 1.5 deliver mathematically verified software and hardware.
- March 2026 AADL-for-SysMLv2 release shows deep systems-modeling breadth competitors lack.
Help us improve and share your feedback! Did you find this helpful?
Funding
Total Funding
$107.4M
Above
Industry Average
Funded Over
9 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
6 month growth
↑ 2%1 year growth
↑ 0%2 year growth
↑ 0%Galois is Hiring for 4 Jobs on Simplify!
Find jobs on Simplify and start your career today
About Galois
Industries
Government & Public Sector
Cybersecurity
Aerospace
Defense
Company Size
51-200
Company Stage
N/A
Total Funding
$107.4M
Headquarters
Portland, Oregon
Founded
1999
Galois is Hiring for 4 Jobs on Simplify!
Find jobs on Simplify and start your career today