GovBidAlerts
← All opportunities

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

All open bids & awards from Department of Defense →

Key dates

Posted
Nov 3, 2026
Response deadline
Nov 30, 2026, 5:00 PM UTC
Archive date
Dec 1, 2026
Archive type
autocustom

Classification

Notice type
Special Notice
Base type
Special Notice
Set-aside
—
Set-aside code
—
PSC
AC12

NAICS

Issuing office

Department
DEPT OF DEFENSE
Sub-tier
DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office
DEF ADVANCED RESEARCH PROJECTS AGCY
Office code
097.97AE.HR0011
Organization type
OFFICE
Office address
ARLINGTON, VA, 222032114, USA

Contacts

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.

Attachments (1)

Similar open contracts

Metadata

Notice ID
e4ea14eef4df480ea295f13b6b2159ea
Full path
DEPT OF DEFENSE.DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA).DEF ADVANCED RESEARCH PROJECTS AGCY
Office code
097.97AE.HR0011
Ingested
Nov 4, 2026
Updated
Nov 11, 2026