Home / DARPA / Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) / Notice

Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

Updated

Special Notice from the Defense Advanced Research Projects Agency (DARPA). Due Nov 13, 2026, 14 days left.

Be among the first to see new Research and Development in the Physical, Engineering, and Life Sciences contracts
Only new notices that match, once a day.
Solicitation numberDARPA-SN-27-13
AgencyDefense Advanced Research Projects Agency (DARPA)
OfficeDef Advanced Research Projects Agcy
Notice typeSpecial Notice
Set-asideNone
Trade (NAICS)Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) (541715)
Product or service codeAC12
PostedOct 29, 2026
Response deadlineNov 13, 2026 (14 days left)
Add the deadline toGoogle Calendar · Apple / Outlook (.ics)
Official notice
Send to a teammate

Bid documents (1)

Paid members download every document from this page, or buy this bid alone.

Description

Modern networks need to be reconfigured quickly in response to mission changes or emerging threats, but checking compliance with security requirements can take months. This creates a window in which adversaries may exploit vulnerabilities introduced by those changes. The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on approaches, tools and practices for closing that window by reducing, by 2-3 orders of magnitude, the time and cost of verifiable compliance checking.

DARPA envisions a capability that would take as input two items: (a) a requirements document written in natural language and (b) the configurations in a concrete network. In an offline phase, it would reason about the requirements for inconsistency, redundancy and incompleteness, and output consistent, non-redundant and completed requirements. Then, it would check, in near real-time, whether the concrete configurations satisfy all of the requirements.

In all cases, its output would be understandable by a human.

Contracting contact

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.

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 278 open government contract opportunities in this trade (NAICS 541715), 49 posted in the last 7 days; 32% 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 New Mexico. A notice in this trade gives a median of 56 days from posting to deadline; this one gives 15 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.

Follow On Procurement for ADS-B Surveillance Broadcast Services (SBS) Technical and Engineering Services Support
Federal Aviation Administration
$5M - $9.9M · Cost Plus
Norton Basin Economy 2005 to 2025
Bureau of Ocean Energy Management
Acquisition Planning · Award FY 2027 · $250K - $499K · To Be Determined
North Slope Borough Economy 2005 to 2025
Bureau of Ocean Energy Management
Acquisition Planning · Award FY 2027 · $250K - $499K · To Be Determined

Recent awards in this trade

From the award notices agencies publish.

Similar open research and development in the physical, engineering, and life sciences bids

Air Force Research Laboratory (AFRL) Enterprise Commercial Solutions Opening (CSO)
Department of the Air Force
Due Apr 30, 2030, 5:00 PM (UTC-4)
Special Notice · Posted Oct 29, 2026
Synthesis and Distribution of Drugs of Abuse and Related Compounds
National Institutes of Health
Due Nov 20, 2026, 1:00 PM (UTC-5) · 21 days left
Sources Sought · Posted Oct 29, 2026
Systems for Phenotypic Evaluation, Clinical Trajectories, Response, and Agency (SPECTRA)
National Institutes of Health
Due Dec 2, 2026, 3:00 PM (UTC-5) · 33 days left
Solicitation · Posted Oct 29, 2026
Artificial Intelligence and Next Generation Distributed Command and Control
Department of the Air Force
Presolicitation · Posted Oct 29, 2026
Synthesis and Distribution of Drugs of Abuse and Related Compounds
National Institutes of Health
Due Nov 20, 2026, 1:00 PM (UTC-5) · 21 days left
Sources Sought · Small business · Posted Oct 29, 2026
Electric Modernization Upgrade
Department of the Navy
Due Dec 1, 2026, 4:00 PM (UTC-8) · 32 days left
Sources Sought · Posted Oct 28, 2026