Contract facts
NONECONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) 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 Vanderbilt University. Estimated value $5.4M ($1M obligated). Current period of performance ends Mar 30, 2026 (potential Sep 30, 2027). Last award drew 9 bidders. Place of performance: NASHVILLE TN. Related solicitation HR001124S0016.
CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS
Recompete timing
PublicCurrent PoP ended Mar 30, 2026 (146 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 recordVanderbilt University — $16.3M obligated across 27 awards (firm-wide, all agencies) · lead buyer Department of Defense (DOD).
Related awards
Same incumbentQuery 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 HR001124C0520?
HR001124C0520 (COOP and and) is a Def Advanced Research Projects Agcy award with a potential value of $5.4M, currently held by Vanderbilt University. Figures are USASpending-sourced public-record facts plus SCOUT recompete analysis.
What is HR0011-24-C-0520?
HR0011-24-C-0520 is the dashed form of PIID HR001124C0520 (COOP and and), held by Vanderbilt University. Same award — SCOUT canonicalizes compact, dashed, and parent-child identifiers to one brief.
Which office awarded HR001124C0520?
Def Advanced Research Projects Agcy awarded HR001124C0520 to Vanderbilt University (potential $5.4M).
Who is the incumbent on HR001124C0520?
Vanderbilt University is the incumbent with $16.3M across 27 related awards in SCOUT’s public footprint. The current period of performance ends Mar 30, 2026.
When does Vanderbilt University’s HR001124C0520 come up for recompete?
SCOUT tracks a period-of-performance end of Mar 30, 2026. Actual solicitation timing can shift with extensions, bridges, or consolidations.
Seen enough? Run one full capture cycle on HR001124C0520 — $90 for 90 days.
This page stays free. Pilot is the live layer: displacement scoring, recompete pipeline, Daily Brief, and SCOUT MCP for 90 days. If you already live in Claude or ChatGPT and only need live search, start MCP Explorer at $29/mo.
$1/day · one payment · no subscription
Use SCOUT in your AI client — $29/moClassify + search inside Claude, ChatGPT, Cursor
Compare plansData: 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.