Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Updated
Special Notice from the Defense Advanced Research Projects Agency (DARPA). Due Nov 30, 2026, 26 days left.
| Solicitation number | DARPA-SN-27-17 |
|---|---|
| Agency | Defense Advanced Research Projects Agency (DARPA) |
| Office | Def Advanced Research Projects Agcy |
| Notice type | Special Notice |
| Set-aside | None |
| Trade (NAICS) | Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) (541715) |
| Product or service code | AC12 |
| Posted | Nov 3, 2026 |
| Response deadline | Nov 30, 2026 (26 days left) |
| Add the deadline to | Google Calendar · Apple / Outlook (.ics) |
Bid documents (1)
- Bid document 102 KB
Paid members download every document from this page, or buy this bid alone.
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.
Contracting contact
- RFI Coordinator · [email protected]
As published on the official notice. Ask questions in writing and before any questions deadline the notice sets.
Is your business small enough?
For NAICS 541715, a business counts as small if it has no more than 11 employees (SBA size standard, with exceptions in the notes). This notice is not set aside, but the size decides your small business status on it. SBA table, current as of Oct 15, 2026.
Companies that win this kind of work
Federal contractors paid for research and development in the physical, engineering, and life sciences work, who also hold DARPA contracts (last 12 months): possible competitors, or partners to team with.
- The Johns Hopkins University Applied Physics Laboratory LLC $1.9 billion in this trade
- Raytheon Company $1.7 billion in this trade
- The Pennsylvania State University $483.0 million in this trade
- Leidos, Inc. $420.8 million in this trade
- Northrop Grumman Systems Corporation $420.0 million in this trade
About the buyer
The Defense Advanced Research Projects Agency awarded $1.2 billion in contracts in the last 12 months; its biggest suppliers were Lockheed Martin Corporation, Securigence LLC and The Johns Hopkins University Applied Physics Laboratory LLC. See what DARPA is buying now.
Research and Development in the Physical, Engineering, and Life Sciences contracts right now
There are 270 open government contract opportunities in this trade (NAICS 541715), 43 posted in the last 7 days; 30% are set aside for small businesses. The agencies buying the most are Department of the Air Force, Department of the Army and Defense Advanced Research Projects Agency (DARPA). Most of the work with a stated place is in Maryland, District of Columbia and Virginia. A notice in this trade gives a median of 57 days from posting to deadline; this one gives 27 days.
All open research and development in the physical, engineering, and life sciences contracts
Coming up in this trade
Planned contracts from the agencies' procurement forecasts, often months before a solicitation. Plans can change.
Recent awards in this trade
- Airborne Holdings Inc $232,060 · Department of the Navy · Nov 3, 2026
- UNIVERSITY OF MAINE SYSTEM Orono ME $632,224 · Department of the Army · Nov 3, 2026
- Yale Univ NEW Haven $8.6 million · Department of Veterans Affairs · Oct 29, 2026
- ICF Incorporated, L.L.C. $2.9 million · Environmental Protection Agency · Oct 29, 2026
- SOUTHWEST RESEARCH INSTITUTE San Antonio TX $19.9 million · National Aeronautics and Space Administration · Oct 29, 2026
From the award notices agencies publish.