# Galois, Inc.

Canonical: https://abierto.us/vendors/galois-inc-mkt6c6u2brm4

- UEI: MKT6C6U2BRM4
- CAGE: 1NCT1
- Location: Portland, OR
- Awards in window: 28 (120 transactions), $64,940,211 obligated, January 11, 2024 to July 21, 2026

## Awarding agencies

- Defense Advanced Research Projects Agency: 7 awards, $20,978,763
- Federal Acquisition Service: 2 awards, $14,140,077
- Department of the Air Force: 3 awards, $13,282,668
- Department of the Navy: 8 awards, $11,164,030
- Departmental Offices: 2 awards, $2,232,188
- Department of the Army: 3 awards, $1,496,320
- Nuclear Regulatory Commission: 2 awards, $966,304
- U.S. Census Bureau: 1 awards, $679,861

## Industries

- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology): $60,681,492
- 541512 Computer Systems Design Services: $3,292,415
- 541990 All Other Professional, Scientific, and Technical Services: $674,784
- 541690 Other Scientific and Technical Consulting Services: $291,520
- 518210 Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services: $0

## Competition

- Full and Open Competition: 11 awards
- Full and Open Competition After Exclusion of Sources: 11 awards
- Not Available for Competition: 2 awards
- Not Competed: 1 awards
- Not Competed Under SAP: 1 awards
- Competed Under SAP: 1 awards

## Solicitations won

- HR001120C0085 Securing Information for Encrypted Verification and Evaluation (SIEVE) (HR001119S0076-HR001120C0085), $15,881,027. https://abierto.us/opportunities/hr001119s0076hr001120c0085
- HR001125C0300 Continuous-correctness On Opaque Processors (COOP) (HR001124S0016-HR001125C0300), $26,407,821. https://abierto.us/opportunities/hr001124s0016hr001125c0300
- Systems Engineering Based Assessment Approaches fo (31310024R0101), $294,863. https://abierto.us/opportunities/31310024r0101
- HR001124C0488 Enhanced SBOM for Optimized Software Sustainment (E-BOSS) (HR001124S0005-HR001124C0488), $4,446,007. https://abierto.us/opportunities/hr001124s0005hr001124c0488
- HR001124C0493 Information Innovation Office (I2O) Office-wide (HR001124S0003-HR001124C0493), $1,479,489. https://abierto.us/opportunities/hr001124s0003hr001124c0493
- Development of a Technical Basis for Performance-b (31310024R0032), $249,900. https://abierto.us/opportunities/31310024r0032
- VERSE (FA875024CB044), $21,799,877. https://abierto.us/opportunities/fa875024cb044

## Largest awards

- 47QFLA22F0068 (delivery order): $14,140,077, GSA FAS Aas Region 5. SBIR Phase III Task Order 2 Adidrus. https://www.usaspending.gov/award/CONT_AWD_47QFLA22F0068_4732_47QFLA21D0017_4732/
- HR001125C0300 (definitive contract): $12,622,799, Def Advanced Research Projects Agcy. 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.. https://www.usaspending.gov/award/CONT_AWD_HR001125C0300_9700_-NONE-_-NONE-/
- FA875024CB044 (definitive contract): $9,810,315, FA8750 AFRL Rik. Verification Engineering for Real-World Software Engineers. https://www.usaspending.gov/award/CONT_AWD_FA875024CB044_9700_-NONE-_-NONE-/
- N6600121C4023 (definitive contract): $4,773,842, NIWC Pacific. Research Iaw Sow / P00009 Incremental Funding to Clin 0006, Update Cor/Acor, and Updated Cdrl'S Poc.. https://www.usaspending.gov/award/CONT_AWD_N6600121C4023_9700_-NONE-_-NONE-/
- HR001124C0488 (definitive contract): $3,862,451, Def Advanced Research Projects Agcy. Enhanced Sbom for Optimized Software Sustainment (E-Boss) Program.. https://www.usaspending.gov/award/CONT_AWD_HR001124C0488_9700_-NONE-_-NONE-/
- FA868925CB006 (definitive contract): $3,292,415, FA8689 AFLCMC Wiik UAS. Project Chrysalis Loe A-B. https://www.usaspending.gov/award/CONT_AWD_FA868925CB006_9700_-NONE-_-NONE-/
- HR001121C0034 (definitive contract): $2,551,407, Def Advanced Research Projects Agcy. Data Protection in Virtual Environments (Dprive). https://www.usaspending.gov/award/CONT_AWD_HR001121C0034_9700_-NONE-_-NONE-/
- N6426725C7016 (definitive contract): $1,999,780, Naval Surface Warfare Center. 873authority. https://www.usaspending.gov/award/CONT_AWD_N6426725C7016_9700_-NONE-_-NONE-/
- N6600122C4027 (definitive contract): $1,948,149, NIWC Pacific. Exercise and Incrementally Fund Option 1 Phase 2 (Clin 0005).. https://www.usaspending.gov/award/CONT_AWD_N6600122C4027_9700_-NONE-_-NONE-/
- 140D0426C0005 (definitive contract): $1,432,310, Ibc Acq SVCS Directorate. Mapache. https://www.usaspending.gov/award/CONT_AWD_140D0426C0005_1406_-NONE-_-NONE-/
- HR001120C0085 (definitive contract): $1,192,719, Def Advanced Research Projects Agcy. Securing Information for Encrypted Verification and Evaluation (Sieve). https://www.usaspending.gov/award/CONT_AWD_HR001120C0085_9700_-NONE-_-NONE-/
- W912CG23C0024 (definitive contract): $925,732, W6QK ACC CCDC STTC. DARPA SBIR II - Barc: Binary Analysis and Recompilation for Cheri - Modification to Exercise Option Clins 0003 and 0004. https://www.usaspending.gov/award/CONT_AWD_W912CG23C0024_9700_-NONE-_-NONE-/
- N6523623C8017 (definitive contract): $899,948, NIWC Atlantic. INC Funding. https://www.usaspending.gov/award/CONT_AWD_N6523623C8017_9700_-NONE-_-NONE-/
- N6426724C0151 (definitive contract): $899,498, Naval Surface Warfare Center. 873authority. https://www.usaspending.gov/award/CONT_AWD_N6426724C0151_9700_-NONE-_-NONE-/
- 140D0423C0063 (definitive contract): $799,878, Ibc Acq SVCS Directorate. "user-Directed Analysis and Verification of Modified Binaries". https://www.usaspending.gov/award/CONT_AWD_140D0423C0063_1406_-NONE-_-NONE-/
- HR001124C0493 (definitive contract): $749,387, Def Advanced Research Projects Agcy. Generative AI for Rigorous Digital Engineering (Gairde) Project.. https://www.usaspending.gov/award/CONT_AWD_HR001124C0493_9700_-NONE-_-NONE-/
- 1333LB22C00000032 (definitive contract): $679,861, Department of Commerce Census. Continued Contractor Services - 6-Month Extension. https://www.usaspending.gov/award/CONT_AWD_1333LB22C00000032_1323_-NONE-_-NONE-/
- 31310024C0011 (definitive contract): $674,784, Nuclear Regulatory Commission. Development of a Technical Basis for Performance-Based (Outcome Oriented) Safety Assurance Using Correct by Construction (Cbyc) Methods. https://www.usaspending.gov/award/CONT_AWD_31310024C0011_3100_-NONE-_-NONE-/
- W31P4Q23C0020 (definitive contract): $570,588, W6QK ACC-RSA. DARPA SBIR Phase II for the Effort Entitled: Generating Requirements Evidence with Analysis and System-Level Enforcement (Grease).. https://www.usaspending.gov/award/CONT_AWD_W31P4Q23C0020_9700_-NONE-_-NONE-/
- N6833522C0411 (definitive contract): $499,923, NAVAIR Warfare CTR Aircraft Div. Incrementally Fund Clin 0003 for $499,923.00. PR # 1301188704 Applies. as a Result, Clin 0003 Is Fully Funded. This Change Is at No Additional Cost to the Government.. https://www.usaspending.gov/award/CONT_AWD_N6833522C0411_9700_-NONE-_-NONE-/
- 31310024C0032 (definitive contract): $291,520, Nuclear Regulatory Commission. Title: Systems Engineering Based Assessment Approaches for Digital Reactor Protection Systems. https://www.usaspending.gov/award/CONT_AWD_31310024C0032_3100_-NONE-_-NONE-/
- FA239124PB011 (purchase order): $179,938, FA2391 USAF AFMC AFRL PZL AFRL RQKP. Rheia-F: Robust High-Fidelity Energy-Informed Autonomy Framework. https://www.usaspending.gov/award/CONT_AWD_FA239124PB011_9700_-NONE-_-NONE-/
- N6600120C4027 (definitive contract): $142,890, NIWC Pacific. Incremental Funding.. https://www.usaspending.gov/award/CONT_AWD_N6600120C4027_9700_-NONE-_-NONE-/
- HR001122C0020 (definitive contract): $0, Def Advanced Research Projects Agcy. Lifting Legacy Code to Safer Languages (Lilac-Sl) SBIR Direct to Phase 2. https://www.usaspending.gov/award/CONT_AWD_HR001122C0020_9700_-NONE-_-NONE-/
- HR001124C0319 (definitive contract): $0, Def Advanced Research Projects Agcy. Emergent Risks Study. https://www.usaspending.gov/award/CONT_AWD_HR001124C0319_9700_-NONE-_-NONE-/
- N6833524C0007 (definitive contract): $0, NAVAIR Warfare CTR Aircraft Div. 873 Authority Administrative Modification. https://www.usaspending.gov/award/CONT_AWD_N6833524C0007_9700_-NONE-_-NONE-/
- 47QFLA21D0017: $0, GSA FAS Aas Region 5. P00007 - Incorporate 52.204-30 Automated Detection Inference and Deceptive Response for Unmanned Systems Adidrus Small Business Innovation Research SBIR Phase III Indefinite Deliveryindefinite Quantity IDIQ Contract. https://www.usaspending.gov/award/CONT_IDV_47QFLA21D0017_4732/
- W52P1J22G0082: $0, W6QK ACC-RI. Update of ACC-RI Dodaac, Boa Expiration Date.. https://www.usaspending.gov/award/CONT_IDV_W52P1J22G0082_9700/

---
Source: USAspending.gov award data, keyed by UEI. Obligations in the window only. Cite https://abierto.us/vendors/galois-inc-mkt6c6u2brm4.
