GOVERNMENT CONTRACT OPPORTUNITY
==============================

Notice ID: sam-opportunity-d0500784cc194bf8b5ebf932024ed7e3
Solicitation number: DARPA-SN-27-17
Title: Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Agency: DEPT OF DEFENSE
Sub-Agency: DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office: DEF ADVANCED RESEARCH PROJECTS AGCY

TYPE & CLASSIFICATION
---------------------
Opportunity Type: Special Notice
NAICS Code: 541715
PSC Code: AC12
Set-Aside: Full & Open Competition


KEY DATES
---------
Posted: 2026-11-03
Response Deadline: 2026-11-30
Status: Active

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.

---
Source: Gov Contract Finder
Canonical URL: https://govcontractfinder.com/contracts/request-for-information-rfi-formal-learning-and-abstractions-sam-opportunity-d0500784cc194bf8b5ebf932024ed7e3
Official Source: SAM.gov
Official URL: https://sam.gov/opp/e4ea14eef4df480ea295f13b6b2159ea/view