HR001125C0300 Continuous-correctness On Opaque Processors (COOP)

Award Notice Posted

Solicitation number
HR001124S0016-HR001125C0300
Agency
Awarded
to Galois, Inc.
Set-aside
No set-aside

Opportunity facts

Contract number
HR0011-25-C-0300 Federal contract award
NAICS code
541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC
AC13 National Defense R&D Services; Department Of Defense - Military; Experimental Development
Points of contact

Notice details come from SAM.gov. Updated .

About this opportunity

The Defense Advanced Research Projects Agency (DARPA) awarded a $26,407,821 contract to GALOIS, INC. for the Continuous-correctness On Opaque Processors (COOP) project. The awarded contract, HR0011-25-C-0300, was issued on October 16, 2024, and covers the provision of services related to the COOP project. No set-aside was used for this contract opportunity.

Notice text

Awarding HR001125C0300 valued at $26,407,821.00 to GALOIS, INC. for Continuous-correctness On Opaque Processors (COOP). Awarded contract HR0011-25-C-0300 to GALOIS, INC. for 26407821 on 2024-10-16.

On GovTribe

Work this opportunity

  • Track it in your pipeline
  • Find teaming partners
  • Similar opportunities
  • Ask GovTribe AI about this opportunity

GovTribe for Federal Contractors