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…
Ended Definitive Contract Awarded Last action
- Contract number
- HR001125C0300
- Awardee
-
Galois, Inc. UEI MKT6C6U2BRM4
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $12,622,799
Award facts
- Opportunity
-
- Continuous-correctness On Opaque Processors (COOP) Pre-Solicitation · HR001124S0016 · Posted Mar 13, 2024
- Contract value 24% obligated
-
- $25,245,598.00 Current, with exercised options
- $52,815,642.00 Potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Contracting staff
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 8 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Portland, OR 97204, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Funding Only Action | $750,000 | |
| Funding Only Action | $2,021,081 | |
| Funding Only Action | $232,801 | |
| Funding Only Action | $1,290,057 | |
| Other Administrative Action | $0 | |
| Funding Only Action | $1,071,412 | |
| Funding Only Action | $589,840 | |
| Original award | $6,667,608 |
About this award
The Defense Advanced Research Projects Agency awarded a $52.8 million definitive contract to Galois, Inc. for the Continuous-Correctness On Opaque Processors (COOP) program on October 16, 2024, under cost-plus-fixed-fee pricing with no set-aside.
The COOP program develops hardware and software tools to guarantee that software is running correctly by combining formal methods and side-channels. Place of performance is Portland, OR. The contract carries an ultimate completion date of June 11, 2026. The originating pre-solicitation, posted March 13, 2024, anticipated multiple awards and structured the program with an 18-month base period and an 18-month option period.
Description
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.
Quick answers
Who was awarded contract HR001125C0300?
HR001125C0300 was awarded to Galois, Inc. by Defense Advanced Research Projects Agency (Department of Defense) on October 16, 2024.
How much is contract HR001125C0300 worth?
The government has obligated $12,622,799 on HR001125C0300. Its current value, with exercised options, is $25,245,598. Its potential value, with all options, is $52,815,642.
Was contract HR001125C0300 competed?
The extent of competition for HR001125C0300 was full and open competition. The government received 8 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award