Open bids › Engineering, design and commissioning
Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
DEPT OF DEFENSE
Saving is free and needs an account; browsing never does.
- Who may bid
- Full and open anyone registered may bid
- Closes
- Nov 30, 2026 (closes in 25 days)
- Posted
- Nov 3, 2026
- Type
- Solicitation
- Agency
- DEPT OF DEFENSE · DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
- Solicitation number
- DARPA-SN-27-17
- NAICS
- 541715 · Scientific research and development
- PSC
- AC12
- Source
- SAM.gov daily extract (Federal)
Summary from the notice
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.