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

Formal Specifications and Proofs Development

Active

Federal

Response Deadline11/30/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

This subcontract for the Defense Advanced Research Projects Agency involves the development of formalized specifications, models, and mathematical proofs to support prime contractors on DARPA FLASH cyber-physical engineering projects. The scope of work focuses on applying formal verification methods through tools such as Coq, Isabelle, or TLA+ to ensure functional equivalence across heterogeneous systems, resulting in the delivery of reusable libraries of specifications and proofs. The opportunity is categorized under NAICS code 541715 and requires personnel to hold either a Secret or Top Secret security clearance. Interested parties must respond by November 30, 2026, regarding this Department of Defense initiative.

General Info

DARPA subcontract for formal verification and mathematical proofs requiring Secret or Top Secret clearance.

Agency

Department Of Defense → Defense Advanced Research Projects Agcy

NAICS

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

Place of Performance

VA

Set-Aside

NONE

Documents

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

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): Formal Learning and Abstractions for System Heterogeneity (FLASH)

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

PostedNov 3

subcontract

Response DeadlineNov 30

Submission deadline

Response Deadline

11/30/2026, 12:00:00 PM UTCin 27 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

Performs the creation of formalized specifications, models, and mathematical proofs for prime contractors on DARPA FLASH cyber-physical engineering projects. Develops reusable libraries of formalized specifications and applies formal verification methods using tools like Coq, Isabelle, or TLA+ to validate functional equivalence across heterogeneous systems. Requires Secret or Top Secret clearance. Delivers reusable libraries of specifications, models, and proofs.

Similar Contracts

Same NAICS industry code

Clinical Sample Collection & Biobank ManagementThis subcontract, titled Clinical Sample Collection and Biobank Management, supports prime contractors on NIH/NIBIB diagnostic device projects. The scope of work involves the prospective collection, storage, and oversight of human clinical samples, including the management of a clinical sample repository utilizing sample tracking systems and ultra-low temperature freezers. The project is administered by the National Institutes of Health under the Department of Health and Human Services. To ensure regulatory and ethical standards, the contractor must maintain HIPAA compliance and secure all necessary IRB approvals. The final deliverable is a fully managed biobank of clinical samples, with a response deadline set for December 4, 2026.

National Institutes Of Health Olao

POSTED

about 12 hours ago

DEADLINE

in about 1 month

Specialized Clay Mineralogy and XRD AnalysisThis subcontract, titled Specialized Clay Mineralogy and XRD Analysis, supports the USGS Geology, Energy, and Minerals Science Center within the Department of the Interior. The scope of work involves performing quantitative mineralogical analysis on clay fractions for 58 samples using high-resolution XRD equipment. The primary objectives are to identify clay mineral species and abundances, calculate the Reichweite value, and determine the percentage of smectite interstratification for illite and chlorite. The selected contractor will be responsible for delivering all detailed clay data in Excel format. This opportunity falls under NAICS code 541715 and was posted by the USGS Contracting Activity with a response deadline of November 10, 2026.

Usgs Contracting Activity

POSTED

about 12 hours ago

DEADLINE

Bulk Mineralogical X-Ray Diffraction (XRD) AnalysisThis subcontract, titled Bulk Mineralogical X-Ray Diffraction (XRD) Analysis, supports the USGS Geology, Energy, and Minerals Science Center under the Department of the Interior. The selected contractor will perform quantitative mineralogical analysis for 58 samples using X-Ray Diffraction spectrometers to quantify crystalline phases and amorphous content. The scope of work requires the delivery of detailed procedural methods and the final analytical data for all samples provided in an Excel spreadsheet format. This opportunity is categorized under NAICS code 541715 and was posted by the USGS Contracting Activity.

Usgs Contracting Activity

POSTED

about 12 hours ago

DEADLINE

Foundation Model AI Development & EngineeringThe Foundation Model AI Development and Engineering subcontract supports prime contractors on Joint Warfare Analysis Center projects for the Department of Defense. The scope of work encompasses the full lifecycle of foundation model development, including distributed training on GPU clusters, post-training alignment through RLHF and DPO, and the deployment of optimized inference stacks utilizing vLLM or TensorRT-LLM. Technical proficiency in PyTorch and JAX is required to deliver fully trained models and optimized inference pipelines. This opportunity is based in Dahlgren and requires personnel to hold a TS/SCI clearance. Interested parties must respond by November 15, 2026, for this effort categorized under NAICS code 541715.

FA4890 Hq Acc Amic

POSTED

about 12 hours ago

DEADLINE

Pediatric Clinical Trial Biostatistics SupportThe Pediatric Clinical Trial Biostatistics Support subcontract involves providing statistical leadership and analysis for prime contractors working on NIH/NICHD pediatric clinical and preclinical protocols. The selected provider will be responsible for developing Statistical Analysis Plans, performing interim and final analyses for FDA regulatory submissions, and offering oversight for protocol design. Key deliverables include validated datasets, analysis reports, and comprehensive SAPs. This engagement requires specialized expertise in pediatric-specific safety, efficacy, and pharmacokinetic studies in accordance with FDA regulatory standards. The opportunity is associated with NAICS code 541715 and is managed under the National Institutes of Health NICHD within the Department of Health and Human Services. Responses are due by December 18, 2026.

National Institutes Of Health Nichd

POSTED

about 12 hours ago

DEADLINE

in about 1 month

Clinical Validation & Preclinical Testing ExpertsThis subcontract opportunity, titled Clinical Validation and Preclinical Testing Experts, supports prime contractors on NIH/NIBIB projects within the Department of Health and Human Services. The selected provider will be responsible for managing the validation of diagnostic technologies through the design of clinical trial protocols, oversight of preclinical testing, and the monitoring of clinical progress to ensure diagnostic accuracy. The role requires specialized medical and clinical expertise, along with a deep understanding of clinical trial regulations to deliver comprehensive validation reports and data analysis. Interested parties should note the response deadline of December 4, 2026, and the associated NAICS code 541715 for research and development in the physical, engineering, and life sciences.

National Institutes Of Health Olao

POSTED

about 12 hours ago

DEADLINE

in about 1 month

EMU Electric Modernization Upgrade

Solicitation # BAA-N6893625S0001-0001

The Naval Air Warfare Center Weapons Division is seeking solutions to establish a standardized production, deployment, and sustainment framework for a modular capability integrated into MH-60R Seahawk helicopters. The current ad-hoc system lacks formal supply chain management, quality control, and efficient software deployment, leading to high lifecycle costs and reduced operational availability. With an initial operational capability target of Q1 FY2028, the government requires a lightweight model that can be managed by a small team without relying on cost-prohibitive large-scale depot support. The scope of work is divided into three primary requirements: the design of repeatable production and sustainment processes, the development of a rugged packaging plan for rapid global air transport, and the optimization of chassis and mounts to improve human factors during installation in austere environments. Interested parties must submit responses by December 1, 2026, ensuring that cover pages specifically reference solicitation N6893625S0001-0001. Questions regarding the effort are due by November 9, 2026.

Naval Air Warfare Center

POSTED

about 12 hours ago

DEADLINE

HERMES BAA CALL: Rotating Detonation Rocket Engine-Combined Cycle (RDRE-CC) Flight Demonstration

Solicitation # FA9300-20-S-0001-CALL-RDRE-CC

The Air Force Research Laboratory Rocket Propulsion Division is issuing a two-step call for proposals under the HERMES Broad Agency Announcement to mature Rotating Detonation Rocket Engine-Combined Cycle propulsion systems from TRL 3 to TRL 6. The objective is to conduct a ground-launched flight demonstration to validate operational viability for High-Speed Affordable Mass Munitions. The anticipated period of performance is 36 to 48 months, with the process beginning with the submission of a ten-page white paper and an optional five-page technical appendix by November 16, 2026. Recent amendments have introduced revised technical questions and answers, specifically adding clarification on air-launched flight demonstrations. Additionally, the government will utilize a non-government advisor from Sierra Lobo, Inc. to provide technical subject matter expertise during the evaluation of white papers and proposals. This advisor will act in a strictly advisory capacity and is bound by non-disclosure agreements, though prospective offerors may submit documented objections to the disclosure of their proprietary data within three business days of the notice. Access to controlled technical documents requires a valid CAGE code and JCP certification via SAM.gov.

FA9300 Aftc Pzr

POSTED

about 12 hours ago

DEADLINE

Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

Solicitation # DARPA-SN-27-17

The Defense Advanced Research Projects Agency Information Processing Techniques Office issued Request for Information DARPA-SN-27-17 to gather research on Formal Learning and Abstractions for System Heterogeneity (FLASH). The program aims to enhance the robustness of high-assurance cyber-physical engineering systems by combining generative-model-based agents with symbolic reasoning. This approach seeks to automate the synthesis of systems from formal specifications, creating semantically heterogeneous instances that maintain functional equivalence while diversifying failure modes and attack surfaces to better protect national security applications, such as autonomous tactical platforms and secure communication pipelines. This is a special notice and not a formal solicitation for proposals; therefore, no contract value or evaluation criteria are provided. Interested parties must submit their responses by November 30, 2026. Submissions can be made at any classification level, with unclassified responses sent to [email hidden] and controlled unclassified information submitted via DoD SAFE. Those intending to submit classified information must notify the agency by November 13, 2026, and utilize approved secure networks such as SAV, JWICS, or SIC. All proprietary and classified data must be marked according to specific Department of Defense and DARPA guidelines.

Defense Advanced Research Projects Agcy

POSTED

about 12 hours ago

DEADLINE

DAF Battle Network "Megatron" MAC IDIQ

Solicitation # FA861227RB001

The DAF Battle Network (DBN) Megatron MAC IDIQ is a hybrid supply and service contract vehicle designed to support the development, procurement, assembly, delivery, and sustainment of PAE C3BM product lines. Managed by the Air Force Life Cycle Management Center, this decentralized Multiple Award Contract allows all DAF program offices and DoW agencies to procure mission-critical capabilities in digital architecture, sensor integration, secure processing, connectivity, applications, and synthetic environment development. The vehicle will feature both a small business pool and an unrestricted pool of awardees, utilizing FAR Part 15 source selection procedures to deliver resilient decision advantage for USAF and USSF C3 programs. The program is currently in the pre-solicitation phase, focusing on market research and industry feedback to refine the final acquisition strategy. Key milestones include the release of a draft Statement of Work marked as Controlled Unclassified Information and a virtual Industry Day held in October 2026. The anticipated timeline targets the release of the final RFP in mid-Q1 FY27, with awards expected in Q3 FY27. All administrative coordination and inquiries are managed by the Procurement Contracting Officer, Julianne Payne.

FA8612 Aflcmc C3BM C3

POSTED

about 12 hours ago

DEADLINE

Cattle Run Proposers Day Announcement

Solicitation # DARPA-SN-27-03

The Defense Advanced Research Projects Agency (DARPA) is hosting a Proposers Day for the Cattle Run program on November 10, 2026, in Arlington, Virginia. The program's primary objective is to enable cost-effective cislunar constellations by developing and demonstrating autonomous spacecraft that utilize solar sails or other renewable propulsion for long-duration maneuverability and station keeping. The project is structured in phases, beginning with the rapid development and launch of a demonstrator spacecraft below geosynchronous earth orbit to validate acceleration, vehicle control, and autonomous Guidance, Navigation, and Control (GNC), followed by the deployment of multiple spacecraft for cislunar operations. This event is a special notice and does not constitute a formal solicitation for proposals. Attendance is strictly limited to U.S. Citizens, who must submit a U.S. Citizenship Verification form during registration. Additionally, all attendees and potential proposers must meet CMMC Level 2 requirements, with verification performed via the Supplier Performance Risk System (SPRS) using a CMMC Unique Identifier. The Proposers Day will be conducted at the Controlled Unclassified Information (CUI) level and serves as a forum for program information, networking, and one-on-one sessions with the Program Manager, Mr. Steven Chambers. Registration deadlines are listed as November 4 and November 6, 2026.

Defense Advanced Research Projects Agcy

POSTED

about 12 hours ago

DEADLINE

Request for Information (RFI) for a Cislunar Space System (CSS)

Solicitation # 10302026-01

The Department of the Air Force is conducting market research via a Request for Information to inform the acquisition strategy for a Cislunar Space System (CSS). The government seeks a rapid, low-risk solution to provide up to five space vehicles (SVs) intended to serve as seed vehicles for a potential future proliferated cislunar constellation. The required system must include spacecraft buses capable of hosting government-provided payloads, a ground segment for mission management and command and control, launch integration on a government-provided National Security Space Launch booster, and comprehensive operations and maintenance. Key technical objectives include a design life of three to five years, a payload capacity of up to 2,000 kg, and payload power ranging from a 1 kW threshold to a 3 kW objective. The system must also implement NSA Type-I encryption and be capable of operating in Earth-Moon transfers, libration point orbits, and resonant orbits. The government intends to award up to five Firm Fixed Price preliminary design study contracts following the review of market information. To be considered, respondents must demonstrate a capability to scale production for a notional full operational capability target in late CY29, utilizing bus designs that have flown within the last three years or will complete system-level assembly, integration, and test within the next 24 months. Responses are due by 1200 noon EDT on November 24, 2026, and must be limited to 15 pages, excluding the required Summary Response Template. Submissions should include a Rough Order of Magnitude cost estimate and detailed information regarding technical approach, concept of operations, and the availability of qualified personnel and secure manufacturing facilities.

Department Of The Air Force

POSTED

about 12 hours ago

DEADLINE

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

Same awarding agency

Classified Information Management & Marking ServicesThe Classified Information Management and Marking Services subcontract supports prime contractors on DARPA FLASH projects by providing specialized expertise in the marking, handling, and transmission of classified national security information. The scope of work involves delivering marked and transmitted classified technical reports while ensuring strict adherence to EO 13526, DoDM 5200.01, DoDM 5105.21 for SCI, and DoDM 5205.07 for SAP. All operations must be conducted within secure facilities using encrypted hardware. To qualify for this engagement, personnel must possess a Top Secret/SCI clearance and hold FSO certification. This opportunity is categorized under NAICS code 541690 and is associated with the Defense Advanced Research Projects Agency under the Department of Defense. Interested parties must respond by November 30, 2026.

Other Scientific and Technical Consulting Services

POSTED

about 12 hours ago

DEADLINE

Heterogeneous System Architecture DesignThe Heterogeneous System Architecture Design subcontract, issued by the Defense Advanced Research Projects Agency under the Department of Defense, focuses on creating technical frameworks and architectures for DARPA FLASH projects. The primary objective is to enable semantic heterogeneity within cyber-physical systems by decoupling high-level requirements from instance-level design. Additionally, the project involves developing specific metrics to vary attack surfaces and failure modes to enhance system resilience. Qualified contractors must possess either a Secret or Top Secret security clearance and maintain strict compliance with NISPOM standards. The expected deliverables for this engagement include comprehensive architecture descriptions, technical frameworks, and detailed evaluation criteria. The solicitation was posted on November 3, 2026, with a response deadline of November 30, 2026, falling under NAICS code 541330.

Engineering Services

POSTED

about 12 hours ago

DEADLINE

Multi-Domain Mission Scenario DevelopmentThe Multi-Domain Mission Scenario Development subcontract supports DARPA Unison projects by creating dynamic mission sets for prime contractors. The scope of work involves developing detailed scenarios for Intelligence, Surveillance, and Reconnaissance Intelligence and Warning, as well as both Civilian and Combat Search and Rescue operations. These scenarios must define operational variability stressors, including sensor faults and terrain blockages, while establishing specific mission complexity axes. Qualified providers must possess deep domain expertise in ISR and SAR operations and adhere to strict cybersecurity standards, specifically CMMC Level 2 and NIST SP 800-171 compliance. The primary deliverable for this engagement is a set of documented mission scenarios. The response deadline for this opportunity is December 4, 2026.

Administrative Management and General Management Consulting Services

POSTED

DEADLINE

in about 1 month

Simulation Data Capture and Visualization ServicesThe Simulation Data Capture and Visualization Services subcontract supports prime contractors on DARPA Unison projects by providing essential data capture, logging, and visualization capabilities. The scope of work includes implementing logging for regression testing, developing tools for autonomy behavior analysis, and creating performance metric reporting mechanisms utilizing Tableau, Grafana, or OpenGL/Unity tools. The primary deliverables consist of fully functional data logging systems and comprehensive visualization dashboards. This opportunity is issued under NAICS code 541512 for the Defense Advanced Research Projects Agency within the Department of Defense. Due to the nature of the work, the selected provider must maintain strict cybersecurity standards, specifically requiring CMMC Level 2 and NIST SP 800-171 compliance. The response deadline for this requirement is December 4, 2026.

Computer Systems Design Services

POSTED

DEADLINE

in about 1 month

Black-Box API and Integration Layer DevelopmentThis subcontract for the Defense Advanced Research Projects Agency focuses on the development of a standardized black-box API and integration layer. The primary objective is to enable prime contractors on DARPA Unison projects to seamlessly link autonomy solutions with the TA-2 testbed. The scope of work includes implementing API functions for the exchange of commands, observations, and states, as well as creating synchronization and reset functions utilizing middleware development frameworks. The successful contractor must deliver a fully implemented and documented API integration layer. Due to the nature of the defense work, strict adherence to cybersecurity standards is required, specifically CMMC Level 2 and NIST SP 800-171 compliance. The project falls under NAICS code 541511, with responses due by December 4, 2026.

Custom Computer Programming Services

POSTED

DEADLINE

in about 1 month

Faster-Than-Real-Time (FTRT) Modeling & Simulation (M&S) DevelopmentThis subcontract for the Defense Advanced Research Projects Agency focuses on the development of a Faster-Than-Real-Time Modeling and Simulation environment designed for prime contractors on DARPA Unison projects. The project involves building a statistically robust testbed that incorporates selective-fidelity choices, realistic scene generation, and sensor data construction. A critical component of the work is the creation of an orchestration layer to manage scenario initialization, fault injection, and uncertainty injection utilizing high-performance computing environments and specialized software architectures. To ensure the security of the development process, the contractor must maintain CMMC Level 2 and NIST SP 800-171 compliance. The ultimate goal of the engagement is the delivery of a fully functional FTRT simulation testbed. Interested parties should note the response deadline of December 4, 2026, for this effort categorized under NAICS code 541511.

Custom Computer Programming Services

POSTED

DEADLINE

in about 1 month

Distributed Collaborative Autonomy Software DevelopmentThe Distributed Collaborative Autonomy Software Development subcontract involves creating prototype autonomy solutions for prime contractors supporting DARPA Unison projects. The scope of work focuses on designing algorithms that enable autonomous teams to adjust tactics and coordination while balancing computational tractability with communication efficiency. Technical execution requires the use of distributed autonomy frameworks and DEC-POMDP modeling to integrate these solutions into a black-box API, resulting in the delivery of functional software and detailed performance reports. Managed under the Department of Defense and the Defense Advanced Research Projects Agency, this effort falls under NAICS code 541715. Strict security and regulatory standards are mandatory for this engagement, specifically requiring compliance with CMMC Level 2 and NIST SP 800-171. The solicitation was posted on November 2, 2026, with a response deadline of December 4, 2026.

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

POSTED

DEADLINE

in about 1 month

Solicitation # DARPA-PS-27-06

The Defense Advanced Research Projects Agency (DARPA) is soliciting proposals for Unison, a program focused on developing collaborative-autonomy approaches that jointly adapt team decision-making and communications during mission execution. The program aims to enable autonomous teams of tens to hundreds of agents to modify tactics, behaviors, and information exchange in dynamic, resource-constrained, and multi-domain environments. The core objective is to preserve mission performance while reducing communication dependence and the reasoning burden on individual agents. Key performance metrics include confirming and reporting ten personnel within six hours, maintaining location accuracy within 50 meters, and delivering actionable reports to a command center within 10 minutes when a route exists. This solicitation, numbered DARPA-PS-27-06, is for an Other Transaction Agreement (OTA) for Prototypes under 10 U.S.C. § 4022. Proposers must meet strict cybersecurity requirements, including CMMC Level 2 Self-Assessment and compliance with NIST SP 800-171 Rev 2, as work is conducted at the Controlled Unclassified Information (CUI) level. The award process involves a multi-gate evaluation based on technical comprehension, ability, and approach, with final awards subject to favorable review and the availability of funds. Submissions require a comprehensive package including a Task Description Document, a schedule of milestones and payments, and a cost proposal using DARPA standard templates. All invoicing is managed through the Wide Area Work Flow (WAWF) system.

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

POSTED

DEADLINE

in about 1 month

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

DEADLINE

Network Configuration Verification & Reasoning EngineThe 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.

Computer Systems Design Services

POSTED

DEADLINE

Earlier notices in this NAICS code

Posted before this notice, open and closed

R--AREMP AND WATER SAMPLE ANALYSIS

Solicitation # 140L4326Q0124

Oregon State Office

POSTED

about 12 hours ago

DEADLINE

DIA Justification for Other than Full and Open Competition

Solicitation # J-FY27-0008

Virginia Contracting Activity

POSTED

about 12 hours ago

DEADLINE

DIA JUSTIFICATION FOR OTHER THAN FULL AND OPEN COMPETITION

Solicitation # J-FY27-0004

Virginia Contracting Activity

POSTED

about 12 hours ago

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