Contract facts
UnrestrictedCONTINUOUS-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 Unrestricted 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 (187 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.
Want the durability read on HR001124C0520? One Pursuit Analysis, $500, inside 48 business hours.
- 48 business hours
- $500
- Credits toward the Pack
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.
Want the durability read on HR001124C0520? One Pursuit Analysis, $500, inside 48 business hours.
One Pursuit Analysis is $500 and credits toward the Sprint Pack. Delivery is 48 business hours. Start with the free Exposure Check if you want the list first.
No card · under a minute · then the Sprint menu
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.