About this opportunity
AI summaryThe Defense Advanced Research Projects Agency Information Processing Techniques Office requests information on research regarding Formal Learning and Abstractions for System Heterogeneity. The buyer seeks details on national-security applications that could achieve greater robustness and other operational properties through heterogeneous engineering solutions. Additionally, the office requests input on prospective techniques for automated synthesis and understanding of high-assurance cyber-physical engineering systems based on formal specifications. These potential techniques should be informed by current research and practice.
Scope of work
- Information on national security applications benefiting from heterogeneous engineering solutions
- Techniques for automated synthesis and understanding of high-assurance cyber-physical engineering systems
- Formalizing system requirements, operational intent, and semantic invariants
- Models and techniques to generate functionally equivalent, formally provably correct design instances
- Techniques to co-generate assurance and explanation artifacts across design instances
- Reusable formalizations of domain-specific engineering knowledge and specification libraries
- Frameworks, architectures, and evaluation criteria for metrics, equivalence validation, and resilience testing
- Structurally constrained induction and deduction approaches and multi-agent architectures
Documents to include with your response
- Submitting organization name
- Technical Point of Contact name, email address, and phone number
- Narrative response (5 pages encouraged)
- Administrative Point of Contact name and contact information (optional)
- Document authorization from cognizant government program office (if submitting non-DARPA classified info)
- Copy of source Security Classification Guide (if submitting non-DARPA classified info)
- Written authorization from cognizant SAPCO (if submitting non-DARPA SAP info)
Key dates
- Classified response notification due
- November 13, 2026
- Response Due Date
- November 30, 2026, by 5:00 PM Eastern Time (ET)
How to submit
- Method
- Email, DoD SAFE, or classified networks (SAV, JWICS, SIC)
- Instructions
- Unclassified responses to [email protected]; CUI via DoD SAFE; classified via SAV, JWICS, or SIC. Unprotected MS Word or PDF, five-page narrative encouraged, 8.5x11-inch paper, 1-inch margins, minimum 12-point font (8 or 10-point for figures/tables).
Federal notice details
- Solicitation number
- DARPA-SN-27-17
- Agency
- Department of Defense
- Buying office
- Defense Advanced Research Projects Agency (Darpa) › DEF Advanced Research Projects Agcy
- Notice type
- Special Notice
- Responses due
- Nov 30, 2026, 12:00 PM ET
- Posted on SAM.gov
- Nov 3, 2026
- NAICS
- 541715 · Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Product/service code
- AC12
- Contracting contact
- RFI Coordinator
FLASH@darpa.mil
Source: SAM.gov. Read the official notice for the complete description and current instructions.
Incumbent and award research
No incumbent history found for this requirement. The notice does not cite a current contract, and no earlier award from this buying office matches it.
Market context
Awards in the same category (Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)). This is not this requirement's award history.
Top vendors in this category: Department of Defense, NAICS 541715, since Oct 1, 2024
23,049 contract awards in this NAICS over the period.
- 1. LOCKHEED MARTIN CORPORATION$5.3B
- 2. FLUOR MARINE PROPULSION, LLC$4.2B
- 3. LOCKHEED MARTIN CORP$3.8B
- 4. THE JOHNS HOPKINS UNIVERSITY APPLIED PHYSICS LABORATORY LLC$3.0B
- 5. THE AEROSPACE CORPORATION$2.2B
Source: USAspending.gov federal award data (U.S. federal public data). A contract is called the incumbent only when the notice or its documents cite it by number.