This Subcontract opportunity from Department Of Defense was posted on February 4, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.
Automated Reasoning and Logical Proof Systems
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 opportunity, issued by the Defense Advanced Research Projects Agency under the Department of Defense, focuses on the development of automated reasoning and logical proof systems. The primary objective is to create subsystems capable of generating logical proofs that are explainable to humans while ensuring algorithmic assurance through the use of composability. Interested parties must submit their responses by February 11, 2026, at 12:00 PM. The project falls under NAICS code 541715, reflecting its technical nature in research and development for the federal government.
General Info
Documents
This scope was carved out of DARPA-SN-26-28.
The full solicitation package (1 document), including the RFP, is on the prime solicitation, not on this scope.
Compositional Learning-And-Reasoning for AI Complex Systems Engineering (CLARA) Information Session
AI Contract Breakdown
Uniform Contract FormatNo documents to break down
The breakdown needs solicitation documents. None were found from this contract's source.
This one is closed. Find the next one like it.
Open contracts like this one, right now:
- UnisonOpen now, due in 21 days
- DHS SMALL BUSINESS INNOVATION RESEARCH (SBIR) PROGRAM FY27 PRE-SOLICITATIONOpen now, due in 24 days
Ask CLEATUS
I've read this contract. Ask me anything.
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
