This Government Contract opportunity from Department Of Defense was posted on May 4, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.

Top

Formal Methods Software Assurance Framework Design

Closed

Federal

Submission Closed06/12/2026, 05:00:00 PM UTC

Contract Overview

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

Active Opportunities Like This One

NAICS: 541715

New

Federal

Advanced Capability Research & Development

Missile Defense Agency (mda)

POSTED

DEADLINE

U.S. Army Contracting Command – Sierra Army Depot (ACC-SIAD) Organic Industrial Base (OIB) Modernization Commercial Solutions Opening (CSO)

Solicitation # W912GY-25-S-C001

The U.S. Army Contracting Command – Sierra Army Depot (ACC-SIAD) has issued Commercial Solutions Opening (CSO) solicitation W912GY-25-S-C001 to modernize its Organic Industrial Base (OIB). This initiative focuses on enhancing the speed of battle and force projection through the procurement of innovative commercial items, technologies, and services. Key priority areas include advanced manufacturing, connected digital enterprises, automation and robotics, digital twins, cybersecurity, and agile or flexible facilities. The program is structured around several continuously open Areas of Interest (AoI), which include logistics and inventory management modernization, airfield maintenance, energy and environmental management, and public-private partnerships. Authorized under DFARS Subpart 212.70 and 10 U.S.C. § 3458, this streamlined acquisition process is open to both traditional and non-traditional defense contractors. The solicitation remains open until June 30, 2030, utilizing a multi-phased evaluation process consisting of solution briefs, presentations or pitches, and commercial solution proposals. Awards are intended to be fixed-price contracts issued under FAR Part 12 Commercial Item Procedures. Eligible respondents must be registered in the System for Award Management (SAM) and the PIEE invoicing system. Specific requirements for individual needs, such as the procurement of a Roll Off Truck under AoI W912GY-26-S-C0001, are managed through separate technical specifications and submission deadlines.

W6QK Siad Contr Office

POSTED

DEADLINE

Synthetic Training Environment (STE) Virtual Software (VSW)

Solicitation # STE-VSW-26-0006

The Army Contracting Command - Aberdeen Proving Grounds Orlando Division, on behalf of the Capability Program Executive Simulation, Training, Test and Threat, is issuing a Call for Solutions for the Synthetic Training Environment Virtual Software program. This effort seeks a modernized virtual software ecosystem to achieve four primary operational outcomes: a doctrinal gate to live fire, a true combined arms environment, full mission command concurrency, and an open system architecture with published SDKs and APIs. The total combined value of all awarded lots is approximately 250 million dollars. The acquisition is structured around five capability lots, including Common Core Software and Simulation Application Software, with a phased selection process involving initial technical validation, down-selects, and demonstration pitches. The evaluation process prioritizes technical schedule, technical approach, and recent relevant experience from the last three years. A key requirement is the blind assessment of technical concepts to ensure objectivity, requiring offerors to genericize all identifying company information in their submissions. Technical solutions must demonstrate high commercial maturity, typically TRL 8 or 9, and adhere to strict security-by-design principles, including the delivery of Software Bill of Materials and alignment with RMF and FedRAMP authorizations. To prevent organizational conflicts of interest, any entity performing on Lot 5 is prohibited from participating in Lots 1, 2, or 4. The anticipated award date for the lots is November 13, 2026, following a rigorous schedule of industry days, solution submissions, and technical demonstrations.

POSTED

DEADLINE

Missile Defense Agency - Advanced Capability Concepts

Solicitation # HQ0860-25-S-C001

The Missile Defense Agency (MDA) has issued solicitation HQ0860-25-S-C001 for its Advanced Capability Concepts program, an ongoing opportunity open from May 9, 2025, to May 8, 2030. The agency seeks innovative concepts, scientific breakthroughs, and prototype demonstrations to enhance the robustness and effectiveness of all Missile Defense System elements. Key focus areas include kinetic and hypersonic defense, command and control battle management, integrated non-kinetic and electronic warfare, and disruptive technologies such as AI/ML, resilient networking, and advanced sensors. This is a two-step process where industry is invited to submit white papers on a rolling basis, which are then evaluated for potential negotiation and award. Submissions must follow strict formatting guidelines, including a 10-page limit for the combined executive summary and program description, and must include a Rough Order of Magnitude cost estimate and a program summary quad chart. Awards may be structured as either FAR-based procurement contracts or Other Transaction (OT) agreements, depending on the offeror's recommendation and eligibility. Evaluation is based on a trade-off process prioritizing technical achievement, research capabilities, and program management. Offerors must maintain active SAM.gov registration, disclose any organizational conflicts of interest, and comply with NIST SP 800-171 for safeguarding controlled unclassified information. Performance is centered in Huntsville, Alabama, though the agency emphasizes rapid development and compressed timelines for the transition of breakthroughs into acquisition programs.

Missile Defense Agency (mda)

POSTED

DEADLINE

R3PEATS Multi-Team Triangulation: Collaborative Cross-Method Approaches to Scientific Discovery (RM1)The R3PEATS Multi-Team Triangulation initiative, managed by the National Institutes of Health under the Department of Health and Human Services, focuses on collaborative cross-method approaches to scientific discovery. This program supports coordinated teams investigating central biomedical research questions using complementary populations, model systems, or methods. A primary objective is to enhance scientific excellence by identifying signal robustness and biological variability while integrating replication directly into the research design. This effort is part of the broader NIH Common Fund program dedicated to Rigor, Replicability, and Reproducibility to Promote Excellence, Accuracy, and Translation in Science. The opportunity is currently listed as a forecast with a posted date of September 11, 2026, and interested parties can contact the R3PEATS Program for further information.

National Institutes Of Health

POSTED

DEADLINE

R3PEATS Rigor Scholar Cohort Awards (K12)The R3PEATS Rigor Scholar Cohort Awards (K12) are offered by the National Institutes of Health under the Department of Health and Human Services. These awards are designed to support early-career researchers in enhancing their expertise in rigorous scientific practices, including randomization, blinding, preregistration, and transparent dissemination. This initiative is part of the broader NIH Common Fund program aimed at promoting excellence, accuracy, and translation in science. Participants will work within local and national cohorts to co-develop procedures and share knowledge, fostering the skills necessary to champion high-quality scientific practices through multi-institutional collaboration. This opportunity is currently listed as a forecast with a posted date of September 11, 2026, and inquiries can be directed to the R3PEATS Program.

National Institutes Of Health

POSTED

DEADLINE

R3PEATS Grassroots Rigor Projects: Individual Metascience and Individual Laboratory Capacity-Building (RP1)The National Institutes of Health, under the Department of Health and Human Services, is issuing a forecast for R3PEATS Grassroots Rigor Projects focusing on Individual Metascience and Individual Laboratory Capacity-Building. This initiative is part of the NIH Common Fund's broader program to promote excellence, accuracy, and translation in science by enhancing rigor, replicability, and reproducibility. The program supports two distinct project types designed to improve research practices. Metascience projects focus on the development and evaluation of infrastructure, metrics, guidelines, and tools to ensure high-quality research. Laboratory Capacity-Building projects assist labs in implementing new processes and techniques related to replicability while documenting the factors that impact research outcomes.

National Institutes Of Health

POSTED

DEADLINE

Climate Program Office (CPO) FY2026 Earth System Science and Services Partnership

Solicitation # NOAA-OAR-CPO-2026-33326

The Climate Program Office FY2026 Earth System Science and Services Partnership is a federal solicitation by the Department of Commerce NOAA to support research and activities aligned with understanding and predicting changes in the Earth's atmosphere, oceans, coasts, land, and ice. The program focuses on collaborative efforts involving numerical modeling, observations, monitoring, data impact evaluations, and stakeholder engagement to assess effects on ecosystems, weather, hazards, and infrastructure. Total available funding for this initiative is anticipated to be approximately 10 million dollars. Eligible applicants are limited to non-profit research institutions or academic institutions of higher learning that offer doctoral degrees in NOAA-related sciences, though multi-institution applications are not permitted. Interested parties must submit their responses by October 26, 2026.

Department Of Commerce Noaa

POSTED

DEADLINE

Specialized HPC Support (AI/ML & Quantum)

W2R2 USA Engr R & D Ctr

POSTED

DEADLINE

Physiological and Cognitive Testing Services

NASA Shared Services Center

POSTED

DEADLINE

RNA-Seq Bioinformatics Analysis

Office Of Acquisiton Grants

POSTED

DEADLINE

Industrial Security Technologies, Strategy, and Research (ISTS/ISSR)

Defense Ci And Security Agency

POSTED

1 day ago

DEADLINE

in 10 days

AI Contract Overview

The contract seeks the development of a scalable taxonomy and roadmap to define graduated levels of software assurance leveraging formal methods, with direct alignment to mission-critical risk profiles, cost constraints, and software lifecycle phases. The framework must enable structured progression from basic to advanced assurance practices, integrating formal verification techniques in a practical, phased manner that supports adoption across diverse defense systems. It must account for varying levels of criticality, ensure traceability between assurance levels and system risk, and provide clear guidance on when and how to apply formal methods to maximize safety and security without unnecessary overhead. The work is positioned as a subcontract under the Defense Advanced Research Projects Agency, part of the Department of Defense, with a North American Industry Classification System code of 541715 indicating research and development in the physical, engineering, and life sciences. The solicitation opens on May 4, 2026, with proposals due by June 12, 2026, at 5:00 p.m. The place of performance and point of contact details are unspecified, but the effort is expected to support national defense objectives by establishing a standardized, risk-based approach to software assurance that evolves with mission needs and technological maturity.

General Info

Design formal methods framework for scalable, risk-based software assurance in defense applications.

Agency

Department Of Defense → Defense Advanced Research Projects AgcyView Agency

NAICS

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

Place of Performance

Set-Aside

NONE

Documents

This scope was carved out of DARPA-SN-26-71.

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

View the prime solicitation

RFI: Levels of Resilience through Formal Methods

AI Contract Breakdown

Uniform Contract Format

No contract breakdown available.

Cannot generate Contract Breakdown because no documents were found from this contract's source.

Timeline

PhaseClosed

PostedMay 4

subcontract

Response DeadlineJun 12

Deadline has passed

Submission Closed

06/12/2026, 05:00:00 PM UTC

Find active opportunities like this

Start your free trial to discover similar active contracts, track opportunities, and build proposals with AI assistance.

Organization & Contact Information

AgencyDepartment Of Defense → Defense Advanced Research Projects Agcy

ContactsNo contacts available

OfficeN/A

Organization / Agency

Department Of Defense → Defense Advanced Research Projects Agcy

View Agency Profile

Office AddressN/A

ContactsNo contact information available

Full Description

Develop a scalable taxonomy and roadmap for graduated software assurance levels using formal methods, aligned with mission risk, cost, and lifecycle phase.