Awarded
Save

Code-to-Model Analysis Ready for Verification Engines

Department of Defense (DoD) > Defense Advanced Research Projects AgencySol: HR001125S0002-HR001126CE068
$735K

This contract has been awarded

This opportunity is closed. Review the award details to understand pricing and competitors for future similar contracts.

🏆 Award Details

Awarded To
RIVERSIDE RESEARCH INSTITUTE
Award Amount
$735K
Location
Fairfax, VA, USA
UEI
HRH1XLHY1XJ3
Award Date
May 8, 2026
Quick Brief

The Department of Defense is procuring Code-to-model Analysis Ready for Verification Engines (CARVE) for the Defense Advanced Research Projects Agency (DARPA). The work involves basic research in the physical, engineering, and life sciences, excluding nanotechnology and biotechnology. Riverside Research Institute is identified as the contractor for this project.

Generated 23d ago

Attachments

No files on SAM.gov

This listing does not include downloadable attachments. The solicitation details may be in the description below.

Verify on SAM.gov

Contract Details

Awarded Amount
$735K
Similar contracts award $117K$1.1M (median $350K, 72,549 awards)Within typical range
Incumbent Contractor
Riverside Research Institute
NAICS Codes
Place of Performance
Fairfax, VA, USA

Agency & Contact

Contracting Organization

Agency
DEPT OF DEFENSE
Sub-Agency
Defense Advanced Research Projects Agency

Point of Contact

John A. Smith
Contracting Officer
(202) 555-0100

Key Dates

Published24d ago
May 11, 2026
Became Solicitation23d ago
May 11, 2026
Tracked
Last Updated22d ago
May 13, 2026

Description

for Verification Engines (CARVE) Etedali, Ali B Contracting (No Street Address

2) ARLINGTON, VA 222032114 USA to this opportunity.

Get matched to contracts like this daily

Free AI-powered contract matching for your business.