AwardTape · Defense awards · Research and development · Defense systems R&D · HR001126CE068
HR001126CE068: $485K definitive contract to Riverside Research Institute
Riverside Research Institute holds a definitive contract from Defense Advanced Research Projects Agency with $485K obligated since Oct 2023 and $735K obligated over its life, against a ceiling of $735K. Latest action Jun 1, 2026.
Code-to-model analysis ready for verification engines (carve)
| PIID | HR001126CE068 |
|---|---|
| Type | definitive contract |
| Company | Riverside Research Institute |
| Agency | Defense Advanced Research Projects Agency |
| Contracting office | DEF ADVANCED RESEARCH PROJECTS AGCY |
| Category | Research and development · Defense systems R&D |
| PSC | AC11 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH |
| NAICS | 541715 RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY) |
| Obligated since Oct 2023 | $485K |
| Total obligated (lifetime) | $735K |
| Ceiling (base and all options) | $735K |
| Base date | May 8, 2026 |
| Latest action | Jun 1, 2026 |
| End date | Feb 7, 2027 |
| Actions since Oct 2023 | 2 |
| Pricing | Cost plus fixed fee |
| Competition | Full and open competition |
| Place of performance | OH |
| Source | USAspending.gov record |
| Reporting lag | DoD 90 days |
Source: USAspending.gov prime award data (FPDS), DoD and DHS contracts, orders and IDVs with any action since Oct 1, 2023. Obligated FY2024+ sums the obligations on those actions; total obligated is the award's lifetime figure. DoD contract actions publish on USAspending about 90 days after signing (DFARS PGI 204.6), so the latest DoD actions here trail the calendar by about 3 months. Place of performance shows the state only.
Terminal: alerts on new orders and modifications to this contract, and CSV export.
7 days free for first-time subscribers, then $49/mo. Card required. Cancel before day 8 and you pay nothing.
Start free trial