This Government Contract opportunity from Department Of Defense was posted on August 11, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.
Formal Methods and Resilience Conjecture Modeling
Contract Overview
Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.
Active Opportunities Like This One
AI Contract Overview
This subcontract with the Defense Advanced Research Projects Agency under the Department of Defense focuses on the design and implementation of formal models to evaluate resilience conjectures. The primary objective is to analyze mathematical assertions regarding market behavior when subjected to adversarial conditions. The opportunity was posted on August 11, 2026, with a response deadline of August 31, 2026. It is categorized under NAICS code 541713, indicating a focus on research and development in the field of physical, engineering, and life sciences.
General Info
Place of Performance
VASet-Aside
Documents
This scope was carved out of DARPA-SN-26-110.
The full solicitation package (1 document), including the RFP, is on the prime solicitation, not on this scope.
Future Program: Intrinsic Market Resilience (IMR)
AI Contract Breakdown
Uniform Contract FormatNo documents to break down
The breakdown needs solicitation documents. None were found from this contract's source.
Timeline
Submission Closed
Organization & Contact Information
Full Description
More opportunities from Department Of Defense → Defense Advanced Research Projects Agcy
Same awarding agency
Earlier notices in this NAICS code
Posted before this notice, open and closed
Find Active Opportunities Like This
Get AI-powered intelligence on the opportunities still open
Every page of the solicitation package shredded into a compliance breakdown
AI-powered matching based on your capabilities and past performance
Competitor and incumbent history on the requirement
Automated alerts on amendments, Q&A deadlines, and award
Join 750+ contractors already using CLEATUS
