Galois develops high-assurance software, formal methods, cryptography, model-based systems engineering, cybersecurity, and assurance approaches for government and commercial critical systems.
No partnership implied. Relationship: indexed only; no formal relationship. substantive editorial profile; independent review pending
Stable ID
entity-galois
Entity kind
private research and development company
Category
Company and applied technology
Geography
Oregon, United States
Editorial reviewer
GShips Project editorial synthesis
Official link checked
2026-07-25
Profile boundary
Galois develops high-assurance software, formal methods, cryptography, model-based systems engineering, cybersecurity, and assurance approaches for government and commercial critical systems.
Evidence boundary: Official-link review: the official site and formal-methods pages were reachable and describe critical-systems, defense, cloud, cryptography, and MBSE work. Public descriptions, performance, maturity, access, procurement, and current availability were not independently verified; independent review pending.
Potentially relevant capability areas
Formal specification and verification, high-assurance software, cryptography, digital engineering, cyber-physical assurance, and AI-system analysis.
Task-specific matches
A match is bounded to one declared work program. It does not establish a partnership, availability, endorsement, or an organization-wide rank.
No task-specific match is recorded.
Potential fit—not a relationship
Could support a bounded safety case, requirements-to-code traceability, verified cryptographic component, or assurance architecture for Autonomous Habitat Assurance.
Possible bounded engagement, not undertaken: Proposed only, subject to a future fit check and then-current access rules: if a safety-critical software boundary is defined, consider a paid, civil and defensive assurance study with deliverables, proof assumptions, and data rights specified. No outreach, eligibility determination, commitment, or procurement has occurred.
Fit and engagement risks
Much of the company’s work originates in defense and national-security programs; offensive or weapons integration is excluded.
Formal proofs cover stated models and properties, not omitted requirements, hardware faults, operators, or the full environment.
Specialist services may be costly, proprietary, and constrained by controlled information.
What would change this profile?
A scoped civil problem, auditable proof artifacts, independent reproduction, and acceptable open or escrowed deliverables would strengthen fit.
Official-link review: the official site and formal-methods pages were reachable and describe critical-systems, defense, cloud, cryptography, and MBSE work. Public descriptions, performance, maturity, access, procurement, and current availability were not independently verified; independent review pending.
Potential fit is an editorial hypothesis. Inclusion does not establish affiliation, endorsement, procurement eligibility, or a relationship.
What would change this page?
A scoped civil problem, auditable proof artifacts, independent reproduction, and acceptable open or escrowed deliverables would strengthen fit.
Conflicts were not assessed beyond publisher disclosure in this official-link review; financial, contracting, leadership, and institutional conflicts were not independently investigated.
The maintainer intends to explore a commercial venture based on some GShips work. No entity, outside funding, customer, sponsor, or indexed-organization relationship currently exists.