Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
openDEF ADVANCED RESEARCH PROJECTS AGCY · 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.
Key facts
- Reference
- DARPA-SN-27-17
- Procedure
- Special Notice
- Contact
- RFI CoordinatorFLASH@darpa.mil
What a subscription adds to this notice
- The documents — every attachment, with its text extracted and searchable
- Qualification — the notice scored against your company profile
- Tracking and alerts — a pipeline for your bids, and the matching notices by email
- Calendar export — the deadline as a calendar file
- The API and MCP — the same record in your own tools and your AI assistant
Provenance
- Source
- sam-gov
- Notice id
- e4ea14eef4df480ea295f13b6b2159ea
- First seen
- 4 Nov 2026
- Last updated
- 4 Nov 2026
Licence US Government work — public domain (17 U.S.C. § 105) ↗
Source: SAM.gov, U.S. General Services Administration — a U.S. Government work, not subject to copyright in the United States.
GET /api/v1/tenders/5ea4862e-3964-480a-9237-d84b3508d4abThe source notice is authoritative — verify deadlines and documents there before bidding.