HR001125C0300
Definitive Contract
Overview
Government 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. THE PROGRAM FOCUSES ON DEVELOPING TRANSFORMATIVE TOOLS AND TECHNIQUES TO PROVIDE CONTINUOUS-CORRECTNESS GUARANTEES FOR MISSION CRITICAL SOFTWARE (MCS) BY LEVERAGING FORMAL METHODS, MULTI-MODAL SIDE-CHANNELS, ORACLES, OPAQUE HARDWARE OR SOFTWARE, PROCESSORS, AND REFERENCE MONITORS. IT EMPHASIZES THE CREATION OF NEW TECHNIQUES TO ACHIEVE REVOLUTIONARY IMPROVEMENTS IN CONTINUOUS-CORRECTNESS GUARANTEES AND PERFORMANCE, WITH SPECIFIC METRICS INCLUDING MULTI-THREADED CORES SUPPORT, CORRECTION LATENCY, PERFORMANCE OVERHEAD, ERROR DETECTION ACCURACY, FALSE POSITIVES, AND FALSE NEGATIVES.
Awardee
Awarding / Funding Agency
PSC
Place of Performance
Portland, OR 97204 United States
Pricing
Cost Plus Fixed Fee
Set Aside
None
Extent Competed
Full And Open Competition
Est. Average FTE
193
Related Opportunity
Analysis Notes
Amendment Since initial award the Potential End Date has been shortened from 10/16/27 to 04/16/26 and the Potential Award value has increased 100% from $26,407,821 to $52,815,642.
Galois was awarded
Definitive Contract HR001125C0300 (HR0011-25-C-0300)
worth up to $52,815,642
by Defense Advanced Research Projects Agency
in October 2024.
The contract
has a duration of 1 year 6 months and
was awarded
through solicitation Continuous-correctness On Opaque Processors (COOP)
full & open
with
NAICS 541715 and
PSC AC13
via basic research acquisition procedures with 8 bids received.
As of today, the Definitive Contract has a total reported backlog of $40,192,843 and funded backlog of $12,622,799.
DOD Announcements
Oct 2024:
Galois Inc.,* Portland, Oregon, was awarded a $12,622,799 cost-plus-fixed-fee, cost reimbursement contract for the Continuous-correctness On Opaque Processors (COOP) program. The COOP program seeks to develop hardware and software tools to guarantee that software is running correctly by combining formal methods and side-channels. Work will be performed in Dayton, Ohio (31%); Portland, Oregon (28%); Tempe, Arizona (10%); Columbus, Ohio (8%); Exton, Pennsylvania (5%); Irvine, California (5%); Cambridge, Massachusetts (4%); San Francisco, California (4%); Brooklyn, New York (3%); and Pittsburgh, Pennsylvania (2%), with an expected completion date of April 2026. Fiscal 2024 research, development, test and evaluation funds in the amount of $6,667,608 are being obligated at time of award. This contract is a competitive acquisition in which eight proposals were received in response to Broad Agency Announcement HR001124S0016. Defense Advanced Research Projects Agency, Arlington, Virginia, is the contracting activity (HR001125C0300).
Status
(Open)
Last Modified 9/29/25
Period of Performance
10/16/24
Start Date
4/16/26
Current End Date
4/16/26
Potential End Date
Obligations and Backlog
$12.6M
Total Obligated
$25.2M
Current Award
$52.8M
Potential Award
$12.6M
Funded Backlog
$40.2M
Total Backlog
Award Hierarchy
Definitive Contract
HR001125C0300
Subcontracts
Activity Timeline
Opportunity Lifecycle
Procurement history for HR001125C0300
Transaction History
Modifications to HR001125C0300
People
Suggested agency contacts for HR001125C0300
Competition
Number of Bidders
8
Solicitation Procedures
Basic Research
Evaluated Preference
None
Commercial Item Acquisition
Commercial Item Procedures Not Used
Simplified Procedures for Commercial Items
No
Other Categorizations
Subcontracting Plan
Plan Not Required
Cost Accounting Standards
Exempt
Business Size Determination
Small Business
Defense Program
None
DoD Claimant Code
None
IT Commercial Item Category
Not Applicable
Awardee UEI
MKT6C6U2BRM4
Awardee CAGE
1NCT1
Agency Detail
Awarding Office
HR0011 DEF ADVANCED RESEARCH PROJECTS AGCY
Funding Office
HR0011
Created By
natalie.kent@darpa.mil
Last Modified By
natalie.kent@darpa.mil
Approved By
natalie.kent@darpa.mil
Legislative
Legislative Mandates
None Applicable
Performance District
OR-01
Senators
Jeff Merkley
Ron Wyden
Ron Wyden
Representative
Suzanne Bonamici
Modified: 9/29/25