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
- $484,721
Award facts
- Opportunity
-
- Information Innovation Office (I2O) Office-Wide Solicitation · HR001125S0002 · Posted Oct 30, 2024
- Contract value 66% obligated
- $734,721.00 Current and potential, with all options
- Completion date 61% 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 |
|---|---|---|
| Funding Only Action | $434,721 | |
| Original award | $50,000 |
About this award
The Defense Advanced Research Projects Agency awarded a $734,721 definitive contract to Riverside Research Institute for Code-to-Model Analysis Ready for Verification Engines (CARVE) on May 8, 2026, under cost-plus-fixed-fee pricing with no set-aside.
The originating solicitation is DARPA Information Innovation Office Broad Agency Announcement HR001125S0002, which seeks revolutionary research ideas across four thrust areas: proficient artificial intelligence, resilient and secure systems, advantage in cyber operations, and confidence in the information domain. The BAA emphasizes unconventional computational approaches and novel capabilities that provide decisive information advantage, evaluated on scientific and technical merit, relevance to DARPA mission, and cost realism.
Performance is located in Beavercreek Township, OH 45431. The contract runs through February 7, 2027. Riverside Research Institute is a non-profit defense research organization delivering advanced aerospace, defense systems engineering, artificial intelligence, cybersecurity, and applied research services to the Department of Defense and federal research agencies, with substantial prior activity across Air Force, Navy, and DARPA vehicles including SeaPort-NXG, ASTRA, OASIS+, and SHIELD IDIQs.
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 8, 2026.
How much is contract HR001126CE068 worth?
The government has obligated $484,721 on HR001126CE068. Its current value, with exercised options, is $734,721.
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