CODE-TO-MODEL ANALYSIS READY FOR VERIFICATION ENGINES (CARVE)

DEFINITIVE CONTRACT won by RIVERSIDE RESEARCH INSTITUTE · work in BEAVERCREEK, OH
$734,721
RecipientRIVERSIDE RESEARCH INSTITUTE UEI HRH1XLHY1XJ3
Award IDHR001126CE068
Award amount$734,721
Award typeDEFINITIVE CONTRACT
Awarding agencyDepartment of Defense — Defense Advanced Research Projects Agency
NAICS541715 — RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)
PSCAC11
Start dateMay 8, 2026
End dateFeb 7, 2027
Place of performanceBEAVERCREEK, OH
Record updatedJun 1, 2026

View the official award record

Our catalog shows awards of $250K+ active within the last 5 years. Need older history or smaller awards? Tell us what you need — we expand by request.

Awards tell you who won. Bids tell you what's next. BidCatch scans 100+ federal, state, and local sources every night and sends the new opportunities matching your trade — before they're awarded to someone else. Free for 14 days, then $49.99/month.

Search open bids