Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Posted
Nov 3, 2026
Nov 30, 2026
DARPA's Information Processing Techniques Office (IPTO) seeks research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). The RFI requests input on national-security uses for heterogeneous engineering solutions and techniques for automatically synthesizing and understanding high-assurance cyber-physical systems from formal specifications. Responses are due November 30, 2026, at 5:00 p.m. EST, and the notice is an RFI rather than a request for proposals.



