Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Summary
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.
Details
| Solicitation Number | DARPA-SN-27-17 |
| Type | Special Notice |
| Posted | 2026-11-03 9:47AM EST (6 days ago) |
| Response Deadline | 2026-11-30 12:00PM EST (in 20 days) |
| NAICS Code | 541715 |
| City | ARLINGTON |
| State | VA |
| ZIP | 222032114 |
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.
Contact
| Email / phone | 🔒 Available with Pro Upgrade |