Code-to-model analysis ready for verification engines (CARVE)
Active Definitive Contract Awarded Last action
- Contract number
- HR001126CE068
- Awardee
-
Riverside Research Institute UEI HRH1XLHY1XJ3
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $734,721
Award facts
- Opportunity
-
- Information Innovation Office (I2O) Office-Wide Solicitation · HR001125S0002 · Posted Oct 30, 2024
- Contract value 100% obligated
- $734,721.00 Current and potential, with all options
- Completion date 68% complete
- Current and potential, with all options
- Contracting staff
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 83 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Beavercreek Township, OH 45431, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $250,000 | |
| Funding Only Action | $434,721 | |
| Original award | $50,000 |
About this award
The Defense Advanced Research Projects Agency awarded a $734,721 cost-plus-fixed-fee definitive contract to Riverside Research Institute for the Code-to-Model Analysis Ready for Verification Engines (CARVE) effort on May 7, 2026, with no set-aside applied. The ceiling value is $734,721, and the ultimate completion date is February 7, 2027. Riverside is a non-profit defense research organization. Place of performance is Beavercreek Township, Ohio 45431.
The award originates from DARPA Information Innovation Office Broad Agency Announcement HR001125S0002, posted October 30, 2024. The BAA sought research ideas across four thrust areas: proficient artificial intelligence, resilient and secure systems, advantage in cyber operations, and confidence in the information domain. It targeted unconventional computational approaches and research that goes beyond evolutionary improvements to the state of the art. Proposers were encouraged to submit a five-page abstract by October 1, 2025, and full proposals were due November 28, 2025. Evaluation criteria were scientific and technical merit, relevance to the DARPA mission, and cost realism. The solicitation was open to traditional and non-traditional sources, including Historically Black Colleges and Universities, small businesses, and minority institutions, and DARPA anticipated multiple awards using procurement contracts, grants, cooperative agreements, and other transactions.
Quick answers
Who was awarded contract HR001126CE068?
HR001126CE068 was awarded to Riverside Research Institute by Defense Advanced Research Projects Agency (Department of Defense) on May 7, 2026.
How much is contract HR001126CE068 worth?
The government has obligated $734,721 on HR001126CE068.
Was contract HR001126CE068 competed?
The extent of competition for HR001126CE068 was full and open competition. The government received 83 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award