This bid is closed — responses were due June 12, 2026.
It is no longer accepting submissions. We keep closed bids on BidsNexus for reference: agencies often re-issue the same need, and past bids show what they buy and when.
This Request for Information (RFI) from DARPA seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance. The focus is on formal methods and their application to software development to improve security and reliability.
Line Items
Item
Qty
Unit
Est. Unit Price
Est. Total
Category
Information on Approaches for Software Resilience and Assurance
1
each
$50,000.00
$50,000.00
IT Services
Information on Tools for Software Resilience and Assurance
1
each
$50,000.00
$50,000.00
IT Software
Information on Practices for Software Resilience and Assurance
1
each
$50,000.00
$50,000.00
IT Services
Formal Methods Expertise and Consulting
1
each
$200,000.00
$200,000.00
Professional Services
Software Assurance Tools and Technologies
1
each
$200,000.00
$200,000.00
IT Software
Software Development and Integration Services
1
each
$450,000.00
$450,000.00
IT Services
Estimated Bid Value
$1,000,000.00
Want the full details?
Sign up free to see the agency name and the original bid posting link. Pro adds the 1 document, contracting-officer contacts and AI response outlines.