Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Key requirements
- What the notice asks for: The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH).
- Response deadline: Nov 30, 2026 · 5:00 PM — see the official posting for submission instructions and format.
Full details
- Solicitation number
- DARPA-SN-27-17
- Notice type
- Special Notice
- NAICS code
- 541715
- PSC code
- AC12
- Posted
- Nov 3, 2026
- Response deadline
- Nov 30, 2026 · 5:00 PM
Description
The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.
Buyer contact
Primary contact:
RFI Coordinator
Email: FLASH@darpa.mil
Source: SAM.gov, the U.S. government's official contract-opportunities system. Details above are reproduced from the official notice — always verify on the official posting before bidding.