Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH) - DEF ADVANCED RESEARCH PROJECTS AGCY | Prosal

Special NoticeActive

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

DARPA-SN-27-17

DEPT OF DEFENSE › DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) › DEF ADVANCED RESEARCH PROJECTS AGCY

Responses due

Nov 30, 2026, 12:00 PM EST

27 days left

SAM.gov

Notice type: Special Notice
Set-aside: None
NAICS: 541715; Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC: AC12; NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH
Posted: Nov 3, 2026
Last updated: Nov 3, 2026
Office: DEF ADVANCED RESEARCH PROJECTS AGCY
Versions: 1

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.

Points of contact

Primary contact

RFI Coordinator

FLASH@darpa.mil

Contracting office

DEPT OF DEFENSE

DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)

DEF ADVANCED RESEARCH PROJECTS AGCY

675 NORTH RANDOLPH STREET

ARLINGTON, VA, 222032114

Classification

NAICS

541715

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

54├Professional, Scientific, and Technical Services

541├Professional, Scientific, and Technical Services

5417├Scientific Research and Development Services

54171├Research and Development in the Physical, Engineering, and Life Sciences

541715└Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

PSC

AC12

NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH

A├RESEARCH AND DEVELOPMENT

AC├C â€“ National Defense R&D Services

AC12└NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH