Contracts › W31P4Q23C0034
W31P4Q23C0034: Darpa Sbir Phase Ii for Effort Entitled, "Binary Assurance Through Proofs of Properties"
Awarded to Kestrel Technology Llc by Defense Advanced Research Projects Agency.
$1.4Mobligated
$1.4Mpotential value
26 April 2027current end date
See modifications, all subcontractors and funding in FedSift →
| Contract | W31P4Q23C0034 |
|---|---|
| Awardee | Kestrel Technology Llc |
| Awarding agency | Defense Advanced Research Projects Agency |
| Awarding office | DEF ADVANCED RESEARCH PROJECTS AGCY |
| NAICS | 541715 Research and Development in the Physical, Engineering, and Life Sciences (Except Nanotechnology and Biotechnology) |
| PSC | AC32 National Defense R&D Services; Defense-Related Activities; Applied Research |
| Place of performance | CA |
| Offers received | 11 |
| Period of performance | 12 July 2023 to 26 April 2027 |
| Potential end | 26 April 2027 |
| Estimated recompete solicitation | ~Q4 2026 (estimate, ~6 months before expiry) |
Source: USASpending.gov (FPDS), public federal procurement data, as the agency reported it. Our record updated 18 October 2026. The solicitation date is an estimate from the end date, not a posted date.
Other expiring 541715 contracts · All expiring contracts · USASpending record