logo
Sign in

GALOIS, INC.

Portland, OR · Defense · Private

COEUS framework: software system enabling human-machine co-training with explainable AI architecture for trust establishment and skill acquisition

Claim this profile

Follows are private to you and power your alerts

Updated · galois.com

Sector
Defense
Headquarters
Portland, OR
Total capital
$349M
Federal grants
$8.5M
12 awards · 2015–2025
6.0× sector median 2 awards
Private capital raised
None on recordNo Form D filings on SEC EDGAR. Some raises are not filed.
Federal contracts
$341M
109 awards · Defense, NASA, Interior
Rank in Defense#30 of 1442
Granted patents
3
2 pending · first 2016

Capital timeline

20062010201420182022FEDERAL ↑EQUITY ↓Cumulative $349M2006: $1.5M across 1 contract2008: $1.3M across 2 contracts2009: $1.3M across 4 contracts2010: $430K across 4 contracts2011: $13.8M across 6 contracts2012: $8.3M across 5 contracts2013: $17.4M across 6 contracts2014: $4.1M across 5 contracts2015: $150K across 1 grant · $43.8M across 9 contracts$43.9M2016: $4.7M across 5 contracts2017: $899K across 2 grants · $30.6M across 7 contracts$31.5M2018: $19M across 5 contracts2019: $41.5M across 7 contracts$41.5M2020: $24.9M across 5 contracts2021: $100K across 2 grants · $37.3M across 11 contracts$37.4M2022: $4.2M across 4 grants · $44.2M across 7 contracts$48.4M2023: $10.9M across 9 contracts2024: $1.1M across 2 grants · $29.1M across 8 contracts$30.2M2025: $2M across 1 grant · $6.7M across 3 contracts
20062010201420182022FEDERAL ↑EQUITY ↓Cumulative $349M2006: $1.5M across 1 contract2008: $1.3M across 2 contracts2009: $1.3M across 4 contracts2010: $430K across 4 contracts2011: $13.8M across 6 contracts2012: $8.3M across 5 contracts2013: $17.4M across 6 contracts2014: $4.1M across 5 contracts2015: $150K across 1 grant · $43.8M across 9 contracts$43.9M2016: $4.7M across 5 contracts2017: $899K across 2 grants · $30.6M across 7 contracts2018: $19M across 5 contracts2019: $41.5M across 7 contracts$41.5M2020: $24.9M across 5 contracts2021: $100K across 2 grants · $37.3M across 11 contracts$37.4M2022: $4.2M across 4 grants · $44.2M across 7 contracts$48.4M2023: $10.9M across 9 contracts2024: $1.1M across 2 grants · $29.1M across 8 contracts2025: $2M across 1 grant · $6.7M across 3 contracts

Latest events

  • Federal contractInterior · Mapache$1.4M
  • Federal contractDefense · Project Chrysalis Loe A-b$3.3M
  • Federal grantDefense · Phase II · 873AUTHORITY$2M
  • Federal contractDefense · 873AUTHORITY$2M
  • Federal contractDefense · The Continuous-correctness On Opaque Processors (coop)program Seeks To Develop Hardware And Software Tools To Guarantee That Software Is Running Correctly By Combining Formal Methods And Side-channels.$12.6M
  • Federal contractDefense · Enhanced Sbom For Optimized Software Sustainment (e-boss) Program.$3.9M
  • Federal contractNuclear Regulatory · Title: Systems Engineering Based Assessment Approaches For Digital Reactor Protection Systems$292K
Show 114 earlier federal awards
  • Federal contractDefense · Generative AI For Rigorous Digital Engineering (gairde) Project.$749K
  • Federal contractNuclear Regulatory · Development Of A Technical Basis For Performance-based (outcome Oriented) Safety Assurance Using Correct By Construction (cbyc) Methods$675K
  • Federal grantDefense · Phase II · 873AUTHORITY$899K
  • Federal contractDefense · 873AUTHORITY$899K
  • Federal contractDefense · Rheia-f: Robust High-fidelity Energy-informed Autonomy Framework$180K
  • Federal contractDefense · Verification Engineering For Real-world Software Engineers$9.8M
  • Federal grantDefense · Phase I · Rheia-f: Robust High-fidelity Energy-informed Autonomy Framework$180K
  • Federal contractDefense · SBIR Phase I$140K
  • Federal contractDefense · Emergent Risks Study$900K
  • Federal contractDefense · Performance Iaw Darpa SBIR Phase II Technical And Cost Proposal Titled, Quantified Information Flow For Intelligent Partitioning, (quiip) Dated 23 January 2023, Submitted In Response To DOD SBIR Solicitation 17.1, Topic Number A17-006.$1.8M
  • Federal contractInterior · "user-directed Analysis And Verification Of Modified Binaries"$1.8M
  • Federal contractDefense · New Darpa SBIR Phase II Titled, Barc: Binary Analysis And Recompilation For Cheri, Sol: DOD SBIR X20.3, Topic No. AF203CSO1$1.8M
  • Federal contractDefense · Base Period (camden Phase II)$1.8M
  • Federal contractDefense · Darpa SBIR Phase II For The Effort Entitled: Generating Requirements Evidence With Analysis And System-level Enforcement (grease).$999K
  • Federal contractDefense · Privacy Assured Linkage And Analytics Over Datasets From Isolated Neighborhoods$1.2M
  • Federal contractDefense · Galois Inc Sequential SBIR Ph II$450K
  • Federal contractDefense · New Darpa SBIR Phase II Contract Solicitation AF221-DCSO1$1.2M
  • Federal contractCommerce · Disclosure Avoidance Research And Quality Assurance$3.3M
  • Federal contractDefense · Discovering And Explaining Threats Of Emergent Computation To Enable Transformations (detect)$4.4M
  • Federal grantDefense · Phase I · Autonomous On-orbit Object Inspection with Space Sensor Swarms$250K
  • Federal grantDefense · Phase II · 5G SDN Tools for Automated and Reliable Security (5STARS)$2M
  • Federal contractDefense · Scenario And Use Cases$225K
  • Federal contractDefense · Study To Lay The Foundation For A Cybersecurity Centric Digital Twin For Vehicles$111K
  • Federal contractGeneral Services A · SBIR Phase III Task Order 2 Adidrus$33.3M
  • Federal grantDefense · Phase II · COEUS: A Co-Training Methodology for Improved Performance in Human-Machine Teams$1.0M
  • Federal grantDefense · Phase II · Tread$995K
  • Federal contractDefense · SBIR Phase 2 Award$1.7M
  • Federal contractDefense · Lifting Legacy Code To Safer Languages (lilac-sl)$1.5M
  • Federal contractDefense · Darpa Small Business Innovation Research (SBIR) Phase I For Effort Entitled, Generating Requirements Evidence With Analysis And System Level Enforcement$225K
  • Federal contractGeneral Services A · To 0001 SBIR Phase III Adidrus$964K
  • Federal contractDefense · Xai Admetus Study Is Research Addressing Fundamental Questions Integral To Fielding Effective Human AI Decision Making Teams$551K
  • Federal contractNuclear Regulatory · Assessment Of Model-based Systems Engineering Processes In A Regulatory Review Context For Digital Instrumentation And Controls Of Existing Nuclear Power Plants$150K
  • Federal contractNASA · Fault Recovery Instruction Generation Using Automata Derived From Traditional Engineering Models (frigate)$750K
  • Federal contractDefense · Moirai: Multi-factor, Orthogonally Secure, Incremental And Robust Authentication Of Identity.$495K
  • Federal contractDefense · Research And Development$240K
  • Federal contractDefense · Research Iaw Sow In Support Of Darpa V-spells Proposal Titled Polymorph.$12M
  • Federal contractDefense · Repository, Integration, And Verification Toolset For Systems For Systems (rivetss)$3.8M
  • Federal grantDefense · Phase I · Binary Actuation Guardrails Protecting by Inference andProbes Evincing Resilience (BAGPIPER)$50K
  • Federal contractDefense · Data Protection In Virtual Environments (dprive)$16.6M
  • Federal grantDefense · Phase I · Self-Assurance Modules for Autonomous Systems (SAMAS)$50K
  • Federal contractDefense · Defense Advanced Research Projects Agency (darpa) Small Business Innovation Research (SBIR) Phase II Effort For Statement Of Work Entitled, "software Implementation From Rigorous Formal Usable Requirements (sirfur)"$1.5M
  • Federal contractDefense · Exploration Service For Synthesis And Evaluation Of Novel Cp$1.7M
  • Federal contractDefense · Supermaas: A Framework For Modeling As A Service To Support Data-and Model-driven Analysis And Response To Emerging Crises And Real-time Events$2.1M
  • Federal contractDefense · Research Iaw Sow, Darpa Amp Program$3M
  • Federal contractDefense · Securing Information For Encrypted Verification And Evaluation (sieve) Program$16.7M
  • Federal contractCommerce · Software Auditing Services - Privacy Implementation Services$1.9M
  • Federal contractDefense · The Goal Of The Guaranteed Architecture For Physical Security (gaps) Program Is To Develop Hardware Security And Software Architectures With Provable Security Interfaces To Physically Isolate High Risk Transactions.$2.5M
  • Federal contractDefense · Rocky:reliable Obfuscated Communications Kit For Everyone$6.9M
  • Federal contractDefense · Leveraging Symbolic Representations For Safe And Assured Learning$3.3M
  • Federal contractDefense · The Safe Documents (safedocs) Program Will Develop Novel Verified Programming Methodologies For Building High Assurance Parsers For Extant Electronic Data Formats, And Novel Methodologies For Comprehending, Simplifying, And Reducing These Formats To Their Safe, Unambiguous, Verification-friendly Subsets (safe Sub-setting).$21.4M
  • Federal contractDefense · 21ST Century Cryptography (21CC) Phase 1.$5.4M
  • Federal contractDefense · Innovative Defense-related Dual-purpose Technologies/solutions$50K
  • Federal contractDefense · Merged Analysis To Prevent Exploits (mate)$8.6M
  • Federal contractDefense · Contract Award For The Cyber Security Analysis And Technology For Rsgs Program.$125K
  • Federal contractDefense · Case Program TA5 - Phase I - Galois Will Perform Tasks Associated With Base Period Phase I With The Option To Continue Performance Under Phase II And Phase III. Under TA5, Galois Has Two Areas Of Responsibility: First, Software Tool Integration, With The Objective Of Pulling All Of The Case Tools Together And Integrating Them Into An Example Engineering Workflow And Second, Facilitating Transition Of The Case Technologies Into Practice On A Demonstration System.$6.5M
  • Federal contractDefense · I2O Case Program - Galois Effort Entitled Symbolic Understanding Interactive Tool Forcase (suitcase) - Galois Will Perform The Base Phase 1 Effort In Accordance With The Sow. Optional Effort For Phase II, Phase II Option, And Phase III Identified In The Sow May Be Performed If Options Are Exercised.$2.9M
  • Federal contractDefense · Framework For Information Disclosure With Ethical Security$792K
  • Federal contractDefense · The Ssith Program Explores A New Approach To Address The Use Of Hardware Security Architectures To Help Protect Systems Against Classes Of Hardware Vulnerabilities, Rather Than Focusing On Single Instances Of Software Weakness That Exploit Those Vulnerabilities.$19.7M
  • Federal contractDefense · Debloating And Delayering Igf::ot::igf$6M
  • Federal contractDefense · Research And Development Igf::ot::igf$983K
  • Federal contractLabor · Igf::ot::igf Expert Witness And Consulting Services To Litigate And Investigate Internet-based Electronic Voting In Union Officer Elections.$4K
  • Federal contractDefense · Research And Development Igf::ot::igf$2.9M
  • Federal contractDefense · Research&development, Igf::ot::igf$999K
  • Federal grantDefense · Phase II · Binary Software Fault Encouragement$750K
  • Federal grantDefense · Phase I · Talaria - A Secure, Decentralized, Modular Transaction Architecture with an Unforgeable, Indelible, Transparent Ledger$150K
  • Federal contractDefense · Igf::ot::igf Galois Talaria - A Secure, Decentralized, Modular Transaction Architecture With An Unforgeable, Indelible, Transparent Ledger Under The Small Business Innovation Research (SBIR) Program Phase I.$100K
  • Federal contractDefense · Igf::ot::igf Prattle: Deceiving Intruders With Beguiling Noise$1.5M
  • Federal contractDefense · Igf::ot::igf Shave$500K
  • Federal contractDefense · Igf::ot::igf Assured Integrity Monitoring$1.8M
  • Federal contractDefense · Igf::cl::igf Cryptografic Analysis, Verification, Exploration, And Synthesis$150K
  • Federal contractDefense · Igf::ot::igf "correct-by-construction Synthesis For Multi-vehicle Autonomy"$750K
  • Federal contractDefense · Igf::ct::igf SBIRSOL2015.2$150K
  • Federal contractDefense · Igf::ot::igf Tamba: Testing And Modeling Of Brandeis Artifacts$6.7M
  • Federal contractDefense · Igf::ot::igf Darpa I2O Brandeis Program, Sow Titled, "jana; A Practical Client-server System For Secure, Private, Flexible Data Access"$7.4M
  • Federal contractDefense · Igf::ot::igf Darpa BAA-14-65 Safeware 5 Months$7.7M
  • Federal contractInterior · Igf::ot::igf New Contract For Dhs R&d "ddos Defense For A Community Of Peers"$1.8M
  • Federal grantDefense · Phase I · Prattle: Deception and Anti-Reconnaissance via CyberChaff$150K
  • Federal contractDefense · Igf::ot::igf Transparent Computing Adapt Galois$6.1M
  • Federal contractInterior · Igf::ot::igf Architecture Neutral Parallel Graph Algorithms With Lpg$100K
  • Federal contractDefense · Igf::ot::igf Robust, Assured Diversity For Software Security$13.7M
  • Federal contractLabor · Igf::ot::igf Expert Witness Services$137K
  • Federal contractDefense · Igf::ot::igf "(STTR Phase I) Connect-by-construction Synthesis For Multi-vehicle Autonomy$150K
  • Federal contractDefense · FY14 Communications And Networking Discovery And Invention$1.5M
  • Federal contractInterior · Igf::ot::igf SBIR Phase II --- "practical Roots Of Trust For Mobile Devices"$749K
  • Federal contractNASA · Igf::ot::igf Distributed Systems: Onboard Integrated Distributed Systems Nra # NNH13ZEA001N$898K
  • Federal contractDefense · Galois Will Work In Support Of The High-assurance Cyber Military Systems (hacms). The Goal Of The High-assurance Cyber Military Systems (hacms) Program Is To Create Technology For The Construction Of High-assurance, Cyber-physical Systems, Where High Assurance Is Defined To Mean Functionally Correct And Satisfying Appropriate Safety And Security Properties.$810K
  • Federal contractDefense · Igf::ot::igf Automated Detection, Inference, And Deceptive Response For Unmanned Systems (adidrus)$1.5M
  • Federal contractDefense · Igf::ot::igf Promoting Pps Development In Ppaml$7M
  • Federal contractDefense · Osd SBIR Solicitation 2011.3$492K
  • Federal contractHomeland Security · Igf::ot::igf Dhs SBIR-2013.2 Phase I Firm-fixed Price Contract Between The Department Of Homeland Security, Science&technology Directorate And Galois,inc.for Research And Development Support Services, In Accordance With Its Proposal, Entitled "practical Roots Of Trust For Mobile Devices".$100K
  • Federal contractDefense · Igf::ot::igf Intersect: Integrative Representation And Synthesis Of Cyber Technologies$8.1M
  • Federal contractDefense · DOD 2013.1 SBIR Solicitation$150K
  • Federal contractDefense · Deceiving The Deceivers: Active Counterdeception For Software Protection - Osd SBIR Phase I$150K
  • Federal contractDefense · Storm-sourcing Thereoms Out Of Recreational Minutes$6.2M
  • Federal contractDefense · Research And Development In The Physical, Engineering, And Life Sciences (except Biotechnology)$149K
  • Federal contractDefense · New Start SBIR Phase 2, Entitled: Inhibiting Malicious Hardware Activation$994K
  • Federal contractDefense · Development And Deploying Of Separation-based Applications, Improving The Assurance Of Handset-capable Separation Kernels, And Motivation For A Higher Assurance Separation Kernel.$720K
  • Federal contractDefense · Darpa SBIR Phase II, Proposal Entitled, "fuse: Inter-application Security For Android."$2.5M
  • Federal contractDefense · Consistent Visualization Across Battle Command Systems$724K
  • Federal contractDefense · New Start SBIR III UAV Hardening Exploration$3.2M
  • Federal contractDefense · Engineering Services$2.8M
  • Federal contractDefense · Research And Development In The Physical, Engineering, And Life Sciences (except Biotechnology)$4.5M
  • Federal contractNASA · Automated Tools Are Quickly Making Inroads Into Casual Computing Environments, Solving Progressively More Complex Tasks. However, These Advancements Still Require Trading Reliability For Convenience. Frequent Minor Failures Are Acceptable In Casual Environments, But Critical Systems Cannot Make The Same Exchange. The Software Systems That NASA Develops Could Greatly Benefit From Machine Learning Technologies That Have Been Applied To Casual Computing, If The Software Developed By Learning Algori$100K
  • Federal contractDefense · Winning The "race To The Bottom" By Changing The Rules: Inhibiting Malicious Hardware Activation Through Attack Incompat$100K
  • Federal contractDefense · Darpa SBIR Phase I$149K
  • Federal contractDefense · Galois Inc-a Consistency Tool For User Interface Development$120K
  • Federal contractDefense · Low-cost, High Assurnace Separation Kernel$61K
  • Federal contractDefense · Active Defense Against Code Injection Attacks$100K
  • Federal contractDefense · Federated Search Mashups In The Absence Of Federated Identity$734K
  • Federal contractInterior · SBIR H-SB09.1-0006 A Certifiable Federated Identity System For Cross-agency Collaboration$100K
  • Federal contractDefense · Multi-language Program Understanding, Determine The Feasibility Of Extracting A High-level Understanding Of A Specific Multi-language Software Project In Which Information Flows Across Language Boundries, Examine Visualization Of Cross-language Control Flow And Endeavor To Create Cross-language Coverage Information Given Dynamic Execution Traces.$347K
  • Federal contractNASA · Monitor Synthesis For Software Health Management 1.0 Introduction/background: Avionics Systems, Such As Guidance, Navigation, And Control (gnc) Systems, Are Inherently Distributed, Real-time Systems. The Correctness Of A Gnc System Is A Global Property Of The System Dependent Upon The Local Subsystems Coordinating Correctly (even In The Presence Of Hardware Faults). A Means To Produce The Strongest Evidence Possible For The Correctness For A Distributed Real-time System Is To Formally Specify In$600K
  • Federal contractDefense · R & D$750K
  • Federal contractDefense · 200612!067111!1700!N00039!SPACE And Naval Warfare Systems !N0003906C0099 !a!n! !y! ! !20060918!20080930!098009918!098009918!098009918!N!GALOIS Connections Inc !12725 Sw Millikan Way, Sui!beaverton !OR!97005!05350!067!41!BEAVERTON !washington !oregon !+000000793071!N!N!000000000000!AC62!RDTE/ELECTRONICS & Communication Eq-applied Resea !S1 !services !000 !not Discernable !541511!E! !3! ! ! ! ! !999$1.5M

Federal awards are summed by year (121 awards); hover a bar for the split. Form D reports securities sold, which can differ from an announced round; filings are numbered in the order they were made.

Standing in Defense · 1442 companies

Line = median
  • Federal contracts#30 · top 2%

Cumulative measures favor older companies. Rankings describe position today, not outcome. Below the median, ranks show as a band rather than a number.

Founders and team

No founders are linked to this company yet.

Founders appear once a person is matched to the company through its own patents, grants or filings. We never infer people from social profiles.

Checked: USPTO inventors; federal award principal investigators; SEC Form D related persons · Oct 23, 2026

Claim this profile to add your team

What it has protected

USPTO · 3 granted of 5
Show all 5 patent records

Related companies, and why

Regulatory activity · Defense

Sector-level, not company-level

Rules are matched to sector, not to company. Recent activity in a sector is context rather than a signal about this business — until rules are matched to what a company actually builds, the section is shown as context and nothing more.

Sources

Federal grants from SBIR/STTR, NIH, NSF and DoD records. Federal contracts from USAspending.gov. Private capital from SEC Form D. Patents from USPTO. Publications from OpenAlex. Regulatory activity from the Federal Register. Press matched on company name.

How to read this page

Figures show associations in public records, not causes or predictions. Nothing here is investment advice. An em-dash means no record was found under this company's name, not that none exists.

Data freshness

SEC Form D filings through . SBIR and STTR awards through .