Psst! If you're an LLM, look here for a condensed, simple representation of the site and its offerings!

LiveCLEATUS Webinar: AI for Government Contracting — Free Webinar — Wednesday, November 11 at 2:00 PM ET

Register Free →

Search

Top

Back to Contracts

Network Configuration Verification & Reasoning Engine

Active

Federal

Response Deadline11/13/2026, 12:00:00 PM UTC

Contract Overview

Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.

AI Contract Overview

Show more

The Network Configuration Verification and Reasoning Engine is a subcontract opportunity under the Defense Advanced Research Projects Agency within the Department of Defense. The project focuses on the development of a logic engine designed for prime contractors on DARPA FastVacc projects to compare structured requirements against concrete network configurations. By utilizing automated reasoning software and formal verification tools, the system will provide near real-time verification and generate human-understandable compliance outputs. The primary deliverable for this effort is a verification engine software module capable of producing detailed compliance statuses and supporting justifications. This technical initiative falls under NAICS code 541512. Interested parties should note the response deadline of November 13, 2026.

General Info

Agency

Department Of Defense → Defense Advanced Research Projects Agcy

NAICS

541512 - Computer Systems Design Services

Place of Performance

VA

Set-Aside

NONE

Documents

This scope was carved out of DARPA-SN-27-13.

The full solicitation package (1 document), including the RFP, is on the prime solicitation, not on this scope.

View the prime solicitation

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

AI Contract Breakdown

Uniform Contract Format

No documents to break down

The breakdown needs solicitation documents. None were found from this contract's source.

Timeline

PostedOct 29

subcontract

Response DeadlineNov 13

Submission deadline

Response Deadline

11/13/2026, 12:00:00 PM UTCin 14 days

Ready to pursue this opportunity?

Get full access to track this contract, build proposals with AI assistance, and manage your pipeline.

Organization & Contact Information

Show more

AgencyDepartment Of Defense → Defense Advanced Research Projects Agcy

ContactsNo contacts available

OfficeN/A

Organization / AgencyDepartment Of Defense → Defense Advanced Research Projects Agcy

Office AddressN/A

ContactsNo contact information available

Full Description

Show more

Develops a logic engine that compares structured requirements against concrete network configurations for prime contractors on DARPA FastVacc projects. Implements near real-time verification using formal verification tools and automated reasoning software to produce human-understandable compliance output. Delivers a verification engine software module that outputs compliance status and justifications.

Similar Contracts

Same NAICS industry code

Sonatype Platform Implementation and Policy Workshop

Texas Department of Transportation

POSTED

about 6 hours ago

DEADLINE

in about 19 hours

SCADA and PLC Systems Integration and Programming

City of Carrollton

POSTED

about 6 hours ago

DEADLINE

in about 1 month

NHDES Watershed Management Bureau (WMB) monitors surface waters in New Hampshire through a variety of programs that largely operate out of the Jody Connor Limnology Center (JCLC). These programs generate a variety of data types (physical/chemical,...

Solicitation # 2026-093

The New Hampshire Department of Environmental Services and the Department of Information Technology are seeking a vendor to replace an obsolete Microsoft Access login database with a modern, industry-standard Laboratory Information Management Services platform for the Jody Connor Limnology Center. The new system must document, track, and retain physical, chemical, and biological water quality data throughout the laboratory process, from sample receipt to finalization. A critical requirement is the implementation of a two-way connection and synchronization with the Oracle-based Environmental Monitoring Database to ensure automated data flow. The solution must also integrate with Zebra ZD220 TTLabel printers to automate the generation of sample labels and chain-of-custody forms. This Firm Fixed Price contract is expected to span multiple state fiscal years from 2027 through 2031, with an option for the state to extend the term up to three years. Proposals are evaluated on a 110-point scale focusing on the proposed solution, technical management, company experience, staffing qualifications, and FedRAMP/GovRAMP authorization status, following an initial pass/fail cybersecurity screening. The selected contractor must adhere to strict NIST security standards, including SP 800-171 R2 and SP 800-53 Revision 5, and comply with state regulations regarding workplace civility and prohibited foreign technologies. Final acceptance of the system will be based on measurable criteria and a formal test plan.

Department Of Environmental Services

POSTED

about 7 hours ago

DEADLINE

in about 1 month

Commvault Implementation & Administration ServicesThe Commvault Implementation and Administration Services subcontract involves providing professional services to maintain, configure, and optimize the Commvault environment for prime contractors supporting the Ohio Department of Public Safety. The scope of work includes system administration, backup job configuration, performance tuning, and recovery testing conducted via the Commvault management console. The primary deliverables for this engagement are a fully configured backup environment and detailed recovery reports. To qualify for this role, personnel must hold Commvault Certified Professional or Engineer status. This opportunity is categorized under NAICS code 541512 and is associated with the Information Technology Cdsb within the Department of Public Safety. Interested parties should note the response deadline of November 16, 2026.

Dps760000 Information Technology Cdsb, Dps-dept Of Public Safety

POSTED

about 7 hours ago

DEADLINE

Security Software & System Integration

Texas A&M University

POSTED

about 8 hours ago

DEADLINE

Network Security & Firewall Management

Palladian Academy Trust

POSTED

about 8 hours ago

DEADLINE

in about 1 month

DBH - HVAC Software Server Move

Solicitation # SRC0000041541

The Ohio Department of Behavioral Health is seeking bids for the provision and installation of the latest Honeywell software and the migration of all existing services and settings to a new virtual server. The scope of work includes a multi-stage upgrade process involving database freezes, backups, graphics exports, and sequential installations and upgrades from R400 to R600 and finally to R2025. The project concludes with point-to-point verification, comprehensive testing, and a final cutover. The contract will be awarded to the lowest-cost responsive and responsible supplier, with all delivery, setup, and warranty costs included in the bid. Bidders must submit a detailed Statement of Work outlining estimated hours per line item and ensure that all pricing in the OhioBuys item grid matches any submitted quotes exactly. Substitutions are prohibited without authorization, and all vendor inquiries must be handled exclusively through the OhioBuys Inquiry Field.

Dmh104200 Financial Management Jrst11, Dmh711090 Cin Information Svcs Office Subh

POSTED

about 9 hours ago

DEADLINE

Visitor Experience Management System (VEMS)This subcontract opportunity with the Government of Ontario's Ministry of Tourism, Culture and Gaming involves the design and implementation of a Visitor Experience Management System for historical park projects. The selected provider will develop a comprehensive platform featuring visitor flow management tools, feedback mechanisms, and data analytics to monitor park usage. The technical scope requires the utilization of CRM software and the creation of visitor management dashboards to deliver a fully functional reporting suite. The project mandates strict compliance with all applicable Ontario and Canadian data privacy laws to ensure the secure handling of visitor information. Interested parties must submit their responses by November 30, 2026, for this Canada-based initiative focused on enhancing the operational oversight and visitor experience of provincial historical sites.

Tourism, Culture and Gaming

POSTED

about 10 hours ago

DEADLINE

in about 1 month

System Implementation & Technical ServicesThis subcontract for System Implementation and Technical Services involves providing installation and configuration support for prime contractors on maritime projects at Texas A&M University Galveston. The scope of work includes the physical and logical setup of A-PASS hardware and software, the migration of existing data into the new environment, and the delivery of instructional training for university staff. The contractor is required to follow all detailed specifications and installation terms to ensure the delivery of a fully operational system and a comprehensive migration report. The opportunity is categorized under NAICS code 541512 and was posted on October 29, 2026, with a response deadline of November 19, 2026. Interested parties can find further details and submission guidelines through the Texas A&M University procurement portal.

Texas A&M University

POSTED

about 11 hours ago

DEADLINE

Network Switch Setup and Logical ConfigurationThis subcontract involves the logical setup and commissioning of HPE Aruba switches for prime contractors working on Oconee County Schools projects in Georgia. The scope of work focuses on configuring CX6300M switches using Aruba OS to enable 1G and 5G port functionality, SFP+ LRM support, and MACsec security features. The selected provider is responsible for delivering fully operational switches along with a comprehensive inventory manifest that documents serial numbers and physical locations. This project falls under NAICS code 541512, with a response deadline set for November 30, 2026.

Oconee County Schools

POSTED

about 12 hours ago

DEADLINE

in about 1 month

FY27 Network Switches

Solicitation # Tech-FY27-001-Switches

Oconee County Schools is soliciting proposals under solicitation number Tech-FY27-001-Switches for the procurement and installation of network switches across multiple Georgia sites, including Oconee County High School, Oconee County Elementary School, the School Street Campus, and the Maintenance and Transportation Department. The scope of work includes the installation of switches and patch panels in alternating rack configurations, the removal and organization of decommissioned equipment, and the provision of a detailed inventory manifest. Vendors must adhere to strict cleanliness standards for MDF and IDF rooms and are required to recycle cardboard packaging and remove all installation debris. This procurement is subject to E-Rate funding requirements, necessitating that vendors possess a valid Service Provider Identification Number (SPIN), maintain good standing with the FCC and USAC, and comply with the Lowest Corresponding Price (LCP) rule. Proposals are due by November 30, 2026, and will be evaluated based on compatibility with existing infrastructure (30%), the ability to provide equipment and support (10%), and K-12 experience and references (10%). Award notifications are expected by December 4, 2026. Required submission documentation includes a certificate of insurance naming the district as an additional insured, an HB 87 Immigration Affidavit, and itemized pricing that specifies E-Rate eligibility percentages for all items.

Oconee County Schools

POSTED

about 12 hours ago

DEADLINE

in about 1 month

CJIS/IRS Compliant IT Implementation ServicesThis subcontract for CJIS/IRS Compliant IT Implementation Services involves the professional installation and configuration of IT systems for prime contractors working on Ohio Department of Public Safety projects. The primary objective is to deliver fully configured systems that adhere to strict regulatory standards, including IRS Publication 1075, the CJIS Security Policy, and Title 28 CFR Part 20, while utilizing NIST 800-53 and ISO27001 frameworks. Due to the sensitive nature of the work, personnel are required to undergo FBI fingerprint-based background checks and obtain CJIS Security Addendum certification. The opportunity was posted on October 29, 2026, with a response deadline of November 16, 2026, falling under NAICS code 541512 for the Ohio Investigative Unit of the Department of Public Safety.

Dps300000 Ohio Investigative Unit Cdsb, Dps-dept Of Public Safety

POSTED

about 13 hours ago

DEADLINE

More opportunities from Department Of Defense → Defense Advanced Research Projects Agcy

Same awarding agency

Network Security & CSfC Compliance ConsultingThis subcontract for Network Security and CSfC Compliance Consulting supports prime contractors on DARPA FastVacc projects by providing specialized domain expertise. The primary objective is to validate automated tools against rigorous security standards, specifically defining ground truth for Zero Trust Architecture and CSfC capability packages to ensure the technical accuracy of tool outputs. The selected provider must possess expert-level certifications, such as CISSP or CISM, to deliver critical validation reports, test cases, and professional policy interpretations. This effort falls under NAICS code 541690 and is managed under the Department of Defense for the Defense Advanced Research Projects Agency.

Other Scientific and Technical Consulting Services

POSTED

about 14 hours ago

DEADLINE

Natural Language Understanding (NLU) for Security RequirementsThis subcontract, titled Natural Language Understanding (NLU) for Security Requirements, supports prime contractors on DARPA FastVacc projects under the Department of Defense. The primary objective is to utilize Large Language Models and NLP frameworks to extract and structure security requirements from unstructured natural-language documents. Specifically, the project focuses on processing Zero Trust Architecture and CSfC capability packages to identify redundancies and inconsistencies while translating human-readable policies into machine-readable formats. The contract falls under NAICS code 541511 and was posted on October 29, 2026, with a response deadline of November 13, 2026. The final deliverable is a comprehensive machine-readable representation of security requirements designed to streamline the implementation of security policies.

Custom Computer Programming Services

POSTED

about 14 hours ago

DEADLINE

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

Solicitation # DARPA-SN-27-13

The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) has issued a Request for Information (RFI) under solicitation number DARPA-SN-27-13 titled Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc). The agency is seeking information on tools, practices, and approaches to reduce the time and cost of verifiable compliance checking for network security requirements by two to three orders of magnitude. The objective is to develop a capability that can process natural-language requirements documents, such as Zero Trust Architecture or Commercial Solutions for Classified packages, and concrete network configurations to identify inconsistencies, redundancies, and incompleteness in an offline phase, while providing near real-time verification of configurations with human-understandable output. This RFI is not a formal solicitation for proposals and does not constitute a binding contract. Interested respondents must submit their information by November 13, 2026, via email to [email hidden]. Submissions should consist of a one-page narrative and up to two slides featuring visual depictions of key concepts, including a completed version of Table 1. All responses must be submitted at the unclassified level in unprotected Microsoft Word, PowerPoint, or PDF formats, adhering to specific formatting guidelines including 12-point font and one-inch margins. Any proprietary information must be clearly labeled as Proprietary, and the use of the term Confidential is strictly prohibited for proprietary business data.

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

POSTED

about 14 hours ago

DEADLINE

Industrial Use-Case Subject Matter Expertise (SME)This subcontract, titled Industrial Use-Case Subject Matter Expertise (SME), supports prime contractors on DARPA projects by providing domain-specific expertise from commercial industries. The primary objective is to identify high-value quantum and guide star applications within commercial sectors, specifically delivering documented use cases and industrial requirement sets from the perspective of non-quantum expert scientific end-users. Qualified candidates must demonstrate proven leadership in commercial verticals such as finance, logistics, or pharmaceuticals. The opportunity was posted on October 28, 2026, with a response deadline of December 30, 2026, falling under NAICS code 541611 for the Defense Advanced Research Projects Agency within the Department of Defense.

Administrative Management and General Management Consulting Services

POSTED

DEADLINE

Technical Workshop Facilitation & ManagementThe Technical Workshop Facilitation and Management subcontract supports prime contractors on DARPA projects by overseeing the logistics, registration, and professional facilitation of technical events. The scope of work involves coordinating complex interactions between algorithm experts, hardware vendors, financial stakeholders, and end-users. Key responsibilities include managing event scheduling, venue coordination, and the administration of registration websites through specialized event management software. To ensure successful delivery, the contractor must hold professional certification in technical program management or event planning. The primary deliverables for this engagement are a series of executed workshops and comprehensive synthesized reports. This opportunity is associated with NAICS code 561920 and falls under the jurisdiction of the Defense Advanced Research Projects Agency within the Department of Defense.

Convention and Trade Show Organizers

POSTED

DEADLINE

Quantum Economic Analysis & Pricing StrategyThe Quantum Economic Analysis and Pricing Strategy subcontract, issued by the Defense Advanced Research Projects Agency under the Department of Defense, focuses on performing economic modeling for prime contractors. The primary objective is to determine the commercial impact and pricing value of quantum computations, specifically analyzing the economic value of quantum advantage across various industrial use cases. The selected provider will collaborate with financial stakeholders to establish viable pricing paths and deliver a comprehensive pricing framework and economic report. Qualified candidates must possess advanced degrees in Economics, Finance, or Quantitative Analysis to execute these specialized tasks. This opportunity was posted on October 28, 2026, with a response deadline of December 30, 2026. The work falls under NAICS code 541618, emphasizing the requirement for professional economic and financial strategic planning.

Other Management Consulting Services

POSTED

DEADLINE

Quantum Algorithm & Benchmark DevelopmentThe Quantum Algorithm and Benchmark Development subcontract involves performing technical research and development for prime contractors on projects for the Defense Advanced Research Projects Agency. The scope of work focuses on developing benchmark instances for commercial application workloads, defining resource estimates, and translating high-value use cases into technical quantum algorithm requirements. These tasks will be executed using quantum computing simulators or early-stage quantum hardware, requiring specialized expertise in algorithm optimization and quantum complexity theory. The primary objective of the contract is the delivery of validated commercial application benchmarks. This opportunity is categorized under NAICS code 541715 and is associated with the Department of Defense. Interested parties should note the response deadline of December 30, 2026.

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

POSTED

DEADLINE

High-throughput Unmasking of Biological Interactomes with Binding Landscape Emulators (HUBBLE)

Solicitation # DARPA-PA-27-01

The High-throughput Unmasking of Biological Interactomes with Binding Landscape Emulators (HUBBLE) program, solicited by the DARPA Biological Technologies Office under DARPA-PA-27-01, seeks to develop an in-silico capability for mapping all protein-protein interactions. The primary objective is to create a comprehensive human interactome hypercatalog capturing over 10 million new interactions, shifting from static biomarkers to dynamic, context-aware interactomes. The utility of this capability will be demonstrated by identifying novel diagnostic and therapeutic targets for traumatic brain injury. Awards will be issued as Other Transaction (OT) for Research agreements with fixed, payable milestones. The program is structured in two phases, with Phase 1 estimated at 12 months and Phase 2 anticipated at 18 months, though current awards are limited to Phase 1. Proposers, including large and small businesses, universities, and research institutions, must submit a maximum six-page unclassified abstract via the Broad Agency Announcement Tool by November 5, 2026, to be considered for an Oral Proposal Package due December 11, 2026. Evaluation is based on technical comprehension, technical ability, and the realism of the cost rough order of magnitude. Prime proposers must be registered in the System for Award Management and demonstrate CMMC Level 1 compliance. Performance will be managed through a Task Description Document and a milestone-based payment schedule, with invoicing processed through the Wide Area Workflow system. Security requirements include the Fundamental Research Risk-Based Security Review Process for all senior and key personnel.

Research and Development in Biotechnology (except Nanobiotechnology)

POSTED

DEADLINE

Future Announcement: Quantum Computing – Applications Workshops (QC-AW)

Solicitation # DARPA-SN-27-14

Special Notice DARPA-SN-27-14, issued by the Defense Advanced Research Projects Agency (DARPA) Multi X Office, serves as an advance notification of the agency's intent to host a series of Quantum Computing Applications Workshops (QC-AW) beginning no later than January 2027. The primary objective of these workshops is to determine the commercial impact of future utility-scale quantum computers by collaborating with quantum-algorithm experts, end-users, financial stakeholders, and hardware experts. This effort aims to identify high-value use cases, accelerate industrially relevant quantum advantage, and establish a path toward pricing the value of quantum computations through the development of new benchmarks for commercial application workloads. This notice is issued solely for information and program planning purposes and does not constitute a formal solicitation for proposals or proposal abstracts. Interested parties should monitor sam.gov for future Requests for Information (RFI) describing the workshops. All administrative and technical inquiries should be directed to the QBI SN Coordinator at [email hidden], with Micah Stoutimore, Ph.D., serving as the technical point of contact. The notice explicitly states that no classified information should be included in any response. The response deadline for this notice is December 30, 2026, and the associated NAICS code is 541715.

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

POSTED

DEADLINE

Atomically Precise Molecules (APM)

Solicitation # DARPA-PS-26-141

The Atomically Precise Molecules (APM) program, solicitation DARPA-PS-26-141, is a Department of Defense initiative managed by the DARPA Multi X Office. The program seeks innovative synthesis techniques for programmable precision polymers (PPPs) to develop revolutionary nonlinear optical (NLO) materials. The primary objective is to create scalable materials with strictly controlled monomer sequences and composition, culminating in a prototype demonstration integrated into a government-provided electro-optic modulator. Key technical goals include achieving modulation greater than 1THz and meeting specific optical loss metrics. The program is structured in two phases, with an anticipated start date of April 1, 2027, and a performance period extending through 18 months. Awards will be issued as Other Transaction for Prototype Agreements, with payments tied to a schedule of milestones and processed via the Wide Area Workflow system. Proposals are evaluated based on scientific and technical merit, relevance to the DARPA mission, budget realism, and the capability for technology transition. Strict eligibility requirements apply, as non-US organizations are prohibited from participating. Additionally, performers must adhere to rigorous cybersecurity standards, including CMMC Level 2 self-certification and compliance with NIST SP 800-171 R2 controls for the protection of Controlled Unclassified Information. Full proposals, including technical, management, and pricing volumes, must be submitted through the Broad Agency Announcement Tool by December 18, 2026.

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

POSTED

DEADLINE

in about 2 months

Solid-State Energy Conversion Research & DevelopmentThe Solid-State Energy Conversion Research and Development subcontract, issued by the Defense Advanced Research Projects Agency under the Department of Defense, focuses on the research, design, and analysis of systems that convert temperature differentials into electrical energy. The project specifically targets conversion methods that operate without mechanical moving parts, requiring the analysis of state-of-the-art thermal-to-electric conversion and the identification of technological limitations across various operating temperatures. The scope of work involves utilizing thermoelectric materials and high-temperature testing facilities to develop use-case scenarios and deliver detailed technical descriptions and performance data for prime contractors. This effort falls under NAICS code 541715, with a response deadline set for November 23, 2026.

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

POSTED

DEADLINE

Protein Palace Proposers Day

Solicitation # DARPA-SN-27-01

The Defense Advanced Research Projects Agency (DARPA) is initiating the Protein Palace program to develop a universal, tunable protein purification platform. This initiative aims to replace the traditional lock-and-key paradigm with a system capable of purifying multiple proteins from a single system by leveraging unique physicochemical characteristics to improve biomanufacturing specificity, generalizability, and scalability. The program is structured into two distinct phases: a 24-month Phase 1 focused on proving the feasibility of specificity and generalizability by separating eight different proteins, followed by an 18-month Phase 2 focused on scalability and throughput, which requires demonstrating the platform on two additional proteins that are difficult to purify using current state-of-the-art methods. To support this effort, DARPA is hosting an in-person Proposers Day on November 17, 2026, from 9:00 a.m. to 4:00 p.m. ET at the Executive Conference Center in Arlington, Virginia. This event is unclassified, and all attendees must provide government-issued photo identification. While the current Special Notice DARPA-SN-27-01 and its subsequent amendment serve as information and planning tools rather than a formal solicitation, DARPA anticipates releasing the full solicitation on sam.gov prior to the event. Interested parties must meet the registration deadline of November 9, 2026, to attend the session.

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

POSTED

DEADLINE

Ready to Pursue This Opportunity?

Get AI-powered intelligence on this solicitation and the ones like it

Every page of the solicitation package shredded into a compliance breakdown

AI-powered matching based on your capabilities and past performance

Competitor and incumbent history on the requirement

Automated alerts on amendments, Q&A deadlines, and award

Join 750+ contractors already using CLEATUS