PrimeRFP SCOUT · Federal Contract Recompete Brief

HR001125C0300Continuous-correctness on OPAQUE processors — Galois, Inc

Galois, Inc holds $83.7M across 32 federal awards, concentrated at Department of Defense (DOD). This PIID sits alongside 5 related awards in the incumbent pipeline. Competition previously drew 8 offers. Set-aside status: NONE. PoP ended Jun 11, 2026 — the usual 12–18 month planning window is closed; recompete action looks late or overdue.

Def Advanced Research Projects Agcy

Awarding office

Galois, Inc

Recipient

Jun 11, 2026

PoP end

$12.6M

Obligated

$52.8M

Potential

541715

NAICS

AC13

PSC

NONE

Set-aside

8 bidders on last award

Watch this recompete

One email. No account. We ping you if the window moves.

Score my position vs Galois, Inc — $90

Contract facts

NONE

Contract numberHR001125C0300

Also listed asHR0011-25-C-0300

AgencyDef Advanced Research Projects Agcy

Awarding officeDef Advanced Research Projects Agcy

Awarding agencyDepartment of Defense (DOD)

Funding agencyDepartment of Defense (DOD)

IncumbentGalois, Inc

CAGE1NCT1

UEIMKT6C6U2BRM4

NAICS541715

PSCAC13

Place of performancePORTLAND OR

Pricing typeCost Plus Fixed Fee

Extent competedFull And Open Competition

Related solicitationHR001124S0016

PoP startOct 16, 2024

PoP end (current)Jun 11, 2026

PoP end (w/ options)Oct 16, 2027

Obligated$12.6M

Current value$25.2M

Potential value$52.8M

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. is a federal NONE award for Def Advanced Research Projects Agcy held by Galois, Inc. Estimated value $52.8M ($12.6M obligated). Current period of performance ends Jun 11, 2026 (potential Oct 16, 2027). Last award drew 8 bidders. Place of performance: PORTLAND OR. Related solicitation HR001124S0016.

Recompete timing

Public

● Past PoP end (71 days ago)

Current PoP ended Jun 11, 2026 (71 days ago). The usual 12–18 month agency planning window is closed — recompete action looks late / overdue relative to a normal cycle. Watch for bridge orders, follow-ons, or a new solicitation.

Incumbent footprint

Public record

Galois, Inc — $83.7M obligated across 32 awards (firm-wide, all agencies) · lead buyer Department of Defense (DOD).

% of firm-wide obligated ($83.7M) · all agencies

Department of Defense (DOD)$55.6M · 66%General Services Administration (GSA)$22.5M · 27%Department of the Interior (DOI)$3.2M · 4%Department of Commerce (DOC)$1.5M · 2%

Open full company profile →

Related awards

Same incumbent

N6600122C4027

DISCOVERING AND EXPLAINING THREATS OF EMERGENT COMPUTATION TO ENABLE TRANSFORMATIONS (DETE…

$4.4M

Sep 11, 2026

140D0426C0005

MAPACHE

$1.4M

Oct 30, 2026

31310024C0011

DEVELOPMENT OF A TECHNICAL BASIS FOR PERFORMANCE-BASED (OUTCOME ORIENTED) SAFETY ASSURANCE…

$675K

Jan 31, 2027

47QFLA22F0068

SBIR PHASE III TASK ORDER 2 ADIDRUS

$73.8M

Mar 31, 2027

HR001124C0488

ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM.

$3.9M

Oct 7, 2027

Query this award live in SCOUT via MCP — personalized scoring, watchlists, and capture workflow across the corpus. Learn about SCOUT MCP →

Frequently asked questions

What is contract HR001125C0300?

HR001125C0300 (Continuous-correctness on OPAQUE processors) is a Def Advanced Research Projects Agcy award with a potential value of $52.8M, currently held by Galois, Inc. Figures are USASpending-sourced public-record facts plus SCOUT recompete analysis.

What is HR0011-25-C-0300?

HR0011-25-C-0300 is the dashed form of PIID HR001125C0300 (Continuous-correctness on OPAQUE processors), held by Galois, Inc. Same award — SCOUT canonicalizes compact, dashed, and parent-child identifiers to one brief.

Which office awarded HR001125C0300?

Def Advanced Research Projects Agcy awarded HR001125C0300 to Galois, Inc (potential $52.8M).

Who is the incumbent on HR001125C0300?

Galois, Inc is the incumbent with $83.7M across 32 related awards in SCOUT’s public footprint. The current period of performance ends Jun 11, 2026.

When does Galois, Inc’s HR001125C0300 come up for recompete?

SCOUT tracks a period-of-performance end of Jun 11, 2026. Actual solicitation timing can shift with extensions, bridges, or consolidations.

Data: Showing contracts ≥ $100K from federal procurement records (FPDS-NG, SAM.gov, and related repositories), normalized by PrimeRFP SCOUT. Each row keyed by Award ID (PIID); task orders appear as independent rows.

Data as of Jun 25, 2026 · refreshed monthlyLatest procurement action Apr 17, 2026