# Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

Notice e4ea14eef4df480ea295f13b6b2159ea (solicitation DARPA-SN-27-17) from DEPT OF DEFENSE, DEF ADVANCED RESEARCH PROJECTS AGCY, posted 2026-11-03, responses due 2026-11-30T22:00:00.000Z. Status: open.

| Field | Value |
| --- | --- |
| Notice ID | e4ea14eef4df480ea295f13b6b2159ea |
| Solicitation number | DARPA-SN-27-17 |
| Type | Special Notice |
| Agency | DEPT OF DEFENSE |
| Sub-tier | DEFENSE ADVANCED RESEARCH PROJECTS AGENCY  (DARPA) |
| Office | DEF ADVANCED RESEARCH PROJECTS AGCY |
| Posted | 2026-11-03T19:47:27.000Z |
| Response deadline (UTC) | 2026-11-30T22:00:00.000Z |
| Set-aside | - |
| NAICS | 541715 |
| PSC | AC12 |
| Place of performance | - |
| Award | - |

## 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.

## Sources

- View on SAM.gov: https://sam.gov/opp/e4ea14eef4df480ea295f13b6b2159ea/view
- Data as of 2026-11-14. Source: https://sam.gov/data-services/Contract%20Opportunities/datagov

## Cite this

"Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH), SAM.gov contract opportunity e4ea14eef4df480ea295f13b6b2159ea." samgovapi.io, https://samgovapi.io/opportunity/e4ea14eef4df480ea295f13b6b2159ea, data as of 2026-11-14. Primary record: https://sam.gov/opp/e4ea14eef4df480ea295f13b6b2159ea/view

## API and MCP

- REST: GET https://samgovapi.io/api/v1/opportunities/e4ea14eef4df480ea295f13b6b2159ea
- MCP tool: get_opportunity

Independent. Not affiliated with, endorsed by or sponsored by GSA, SAM.gov or any U.S. government agency. Registering in SAM.gov is free at sam.gov.

Get a free API key: https://samgovapi.io/sign-up?ref=ai-claudebot