Galois
Formal methods research and engineering for high-assurance software and hardware in defense, aerospace and fintech
Highlights
- New on EvolcAdded 2026-11-13
About Galois
Galois is a research and engineering company that applies formal mathematical methods to the design and verification of critical software and hardware systems. Its offerings include custom research and engineering projects, such as AI benchmarking for formal verification, securing hospital IoT systems and verification engineering tools for software engineers.
Clients include NASA, DARPA, Amazon Web Services and U.S. Department of Defense organizations. The company works through custom research and engineering projects and lists solutions for aerospace and defense, healthcare, automotive, semiconductors, fintech and critical systems.
Galois has more than 25 years of history and is employee-owned through an Employee Stock Ownership Plan. It has offices in Portland, Oregon; Arlington, Virginia; Minneapolis, Minnesota; and Dayton, Ohio. Current openings include research engineer, principal scientist and industrial security roles.
Product: Custom research and engineering services and high-assurance solutions based on formal verification.
Jobs at Galois
More it services & outsourcing companies
Genpact
Outsourced finance, supply chain and insurance operations, with AI agent products, for large global enterprisesRemote-friendlyGigakom
IT integration, networking, cloud and cybersecurity services for schools, government entities and businessesRemote-friendlyGrapevine MSP Technology Services
Managed IT support, cybersecurity and Microsoft 365 services for businesses in California's Central ValleyNew on EvolcGritter Francona
IT, cybersecurity and consulting services for U.S. federal agencies, including the VA and Department of DefenseNew on EvolcGXA
Managed IT, cybersecurity and strategic technology services for growth-focused businesses and nonprofits in TexasRemote-friendlyHeadQuarters
Managed back-office, sales, finance and marketing services for cannabis brands, distributors, manufacturers and retailersRemote-friendly
Website technologies
Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.
Analytics
- Google Tag ManagerMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Integration code on pageinline script loader
Content delivery
- CloudflareHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Response headerserver
- Response headerserver
- Response headerserver
Content management
- WebflowHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
Hosting
- AWSHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
Recruiting
- WorkableHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.