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

In plain English

Defense Advanced Research Projects Agency request for information on Formal Learning and Abstractions for System Heterogeneity research, covering national-security uses and automated design of high-assurance engineering systems. This is not a contract solicitation; responses are requested by November 30, 2026.

Agency: Dept Of Defense · Defense Advanced Research Projects Agency (Darpa)

Notice type: Special Notice

Set-aside: No set-aside (open to all)

NAICS: 541715

Place of performance: Not listed

Posted: Nov 3, 2026

Response due: Nov 30, 2026

Solicitation number: DARPA-SN-27-17

Open on SAM.gov

Get alerts like this one More from Dept Of Defense

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.

Get opportunities like this one every morning.

Yia | Contract Alerts reads every new notice and emails you the matches for your NAICS codes, location and certifications, each with a fit score. 14-day free trial.

Start free