# HR001125C0300 Continuous-correctness On Opaque Processors (COOP)

Canonical: https://abierto.us/opportunities/hr001124s0016hr001125c0300

- Solicitation number: HR001124S0016-HR001125C0300
- Notice type: Award notice
- Status: Awarded to Galois, Inc. for $26,407,821.00
- Department: Department of Defense
- Agency: Defense Advanced Research Projects Agency
- Contracting office: Def Advanced Research Projects Agcy (HR0011)
- NAICS: 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Product or service code: AC13 National Defense R&D Services; Department Of Defense - Military; Experimental Development
- County: Multnomah County (FIPS 41051). https://abierto.us/counties/multnomah-county-or-41051
- City: Portland. https://abierto.us/cities/portland-or-4159000
- First posted: October 17, 2024
- Last posted: October 17, 2024
- SAM.gov: https://sam.gov/workspace/contract/opp/6163eaf7f8564878aca4b56f646fead0/view

## Description

Awarding HR001125C0300 valued at $26,407,821.00 to GALOIS, INC. for Continuous-correctness On Opaque Processors (COOP).

## Award on USAspending

- Recipient: Galois, Inc. (UEI MKT6C6U2BRM4)
- Contract: HR001125C0300, definitive contract
- Obligated: $12,622,799.00, current value $25,245,598
- Competition: Full and Open Competition, 8 offers received
- Link: award number HR001125C0300 equals the contract number; same awarding office HR0011 (high confidence)
- Record: https://www.usaspending.gov/award/CONT_AWD_HR001125C0300_9700_-NONE-_-NONE-/


## Publications

- October 17, 2024: Award notice. Notice 6163eaf7f8564878aca4b56f646fead0. https://sam.gov/workspace/contract/opp/6163eaf7f8564878aca4b56f646fead0/view

## Points of contact

- Kent, Natalie T, natalie.kent@darpa.mil

---
Source: SAM.gov Contract Opportunities bulk extract and USAspending.gov award data. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/hr001124s0016hr001125c0300.