Top

Formal Methods and Resilience Conjecture Modeling

Active

Federal

Response Deadline08/31/2026, 12:00:00 PM UTC

Contract Overview

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

General Info

Agency

Department Of Defense → Defense Advanced Research Projects AgcyView Agency

NAICS

541713 - Research and Development in NanotechnologyView NAICS

Place of Performance

Set-Aside

NONE

Documents

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

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

View the prime solicitation

Future Program: Intrinsic Market Resilience (IMR)

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

PostedAug 11

subcontract

Response DeadlineAug 31

Submission deadline

Response Deadline

08/31/2026, 12:00:00 PM UTCin 18 days

Ready to pursue this opportunity?

Start your free trial to track this contract, build proposals with AI assistance, and manage your pipeline.

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

Design and implement formal models to evaluate resilience conjectures—mathematical assertions about market behavior under adversarial conditions.

Similar Contracts

Same NAICS industry code

NAICS: 541713

New

Federal

Machine Learning Algorithm Development for Brain DiagnosticsThe Department of Veterans Affairs, through Rpo East, is seeking a subcontractor for the Machine Learning Algorithm Development for Brain Diagnostics project. The primary objective of this engagement is to design, train, and optimize machine learning models utilizing biometric and physiologic data to advance brain health diagnostics research. This opportunity is categorized under NAICS code 541713. Interested parties must submit their responses by the deadline of August 17, 2026, following the posting date of August 11, 2026.

POSTED

DEADLINE

Nuclear Technologies Development and Integration SupportThe National Nuclear Security Administration under the Department of Energy is forecasting a contract for Nuclear Technologies Development and Integration Support, scheduled for release in 2026. This effort is intended to advance the development and integration of nuclear technologies, likely involving research, engineering, and technical services to support national security objectives. The work is expected to be performed in Maryland, with no specific city or zip code designated, and the contract is classified under NAICS code 541713 for research and development in the physical, engineering, and life sciences. No set-aside provisions are specified beyond a general classification of “other,” indicating the opportunity may be open to all eligible businesses without restrictions based on size or status. Chelsea Murphy, the Small Business Program Manager at NNSA, is listed as the point of contact for inquiries and provides a dedicated email for communication. While the solicitation number has not yet been assigned and the official notice has not been issued, the forecast posting indicates an intent to pursue this contract in the near future, giving potential vendors time to prepare proposals. No physical office address is provided, suggesting the requirement may be centralized under the Department of Energy’s broader operational structure. Interested parties are encouraged to monitor official channels for the upcoming solicitation launch, as timing and details may evolve before formal release.

National Nuclear Security Administration

POSTED

DEADLINE

Bench-Scale Process Development for Alternative Feedstock ConversionThe contract seeks to advance bench-scale research and development for converting waste or alternative feedstocks into high-value chemicals through reaction optimization, catalytic process enhancement, and improved yield efficiency. This effort is focused on developing scalable chemical conversion pathways that transform low-value or discarded materials into commercially viable products, with an emphasis on innovation in catalysis and process design. The work is intended to support sustainable chemical manufacturing by reducing reliance on traditional fossil-based feedstocks and improving resource efficiency. The solicitation is issued as a subcontract under the Department of Energy’s Golden Field Office, with a NAICS code of 541713 for research and development in the physical, engineering, and life sciences. Responses must be submitted by September 14, 2026, and the project is expected to be conducted at the contractor's facility with no specified location for performance. This initiative aligns with broader energy and environmental goals by promoting circular economy principles and advanced chemical process technologies, though no set-aside preferences or eligibility restrictions are indicated.

POSTED

DEADLINE

STATE OF THE ART (SOTA) MICROELECTRONICS (ME) ADOPTION BROAD AGENCY ANNOUNCEMENT (BAA) FULL TEXT GENERAL ANNOUNCEMENT

Solicitation # 26S1358

The U.S. Department of the Air Force, through SAF/AQC, is issuing a Broad Agency Announcement (BAA) numbered 26-S-1358 to advance the adoption of state-of-the-art microelectronics across national security missions. This BAA does not solicit proposals directly but serves as an umbrella framework for future Topic Calls published on SAM.gov and the Classified IC-ARC, which will define specific technical requirements, submission deadlines, and evaluation criteria. The initiative focuses on accelerating the development and integration of trusted, assured microelectronics technologies, particularly those leveraging Intel 18A process nodes and advanced packaging via Secure Enclave, to ensure enduring technological superiority. Five key mission areas are highlighted: advanced secure microelectronics design and production; next-generation assembly, packaging, and test; novel microelectronics for disruptive capabilities; advanced test, validation, and mission qualification; and building an accessible, affordable, and sustainable domestic microelectronics ecosystem. Topics range from AI/ML architectures and radiation-hardened designs to chiplet-based systems, secure test methodologies, edge computing, RF electronics, PNT resilience, digital twins, and open-standard chiplet libraries. Proposals or White Papers may only be submitted in response to individual Topic Calls, which may be either closed (with fixed deadlines) or open (accepting submissions continuously during a defined window), and may follow one-step or two-step processes. Awards, if made, will take the form of procurement contracts or Other Transaction Agreements (OTAs) for prototyping, follow-on production, or experimental purposes, with eligibility open to small businesses, traditional and non-traditional defense contractors, and research institutions. OTA awards require resource-sharing commitments and participation by nontraditional contractors, small businesses, or third-party funding. Proposals must not include classified information unless explicitly directed by a classified Topic Call, which may require SECRET or higher clearances and approved secure facilities. Data rights are anticipated to include Government Purpose Rights for technical data and software, with specific terms negotiated per call. All submissions must reference the BAA number 26-S-1358 and be aligned with the specified Areas of Interest in each Topic Call. Interested parties must actively monitor SAM.gov and IC-ARC for updates, as Topic Calls may be issued throughout the BAA’s open period—initially one year, extendable annually—and any associated costs for proposal development are considered indirect, not chargeable to resulting contracts.

Department Of The Air Force

POSTED

DEADLINE

ERIS Shopping Notice: High Duty Cycle High Energy Lasers (HEL) for SWaP-Constrained Systems

Solicitation # DARPA-SN-26-82

DARPA’s Strategic Technologies Office is actively seeking innovative, post-competitive solutions through the ERIS Marketplace for high-energy lasers operating in the 100W to 20 kW power range with high duty cycle capabilities, specifically designed for integration into Size, Weight, and Power (SWaP)-constrained military platforms such as Stryker vehicles, Collaborative Combat Aircraft, and other unmanned aerial systems. The solicitation, identified as DARPA-SN-26-82 and posted on June 4, 2026, with a closing date of November 30, 2026, is not a traditional procurement but a market research effort aimed at identifying breakthrough technologies that advance the state of the art in laser systems under austere conditions. Proposals must demonstrate a clear understanding of current technical limitations, particularly regarding thermal management, beam coherence, and sustained firing capability, while proposing novel architectures that enable scalable power generation, phase control for beam tuning, wavelength flexibility, and efficient heat exhaust to maintain operational readiness. Solutions must be submitted as video presentations via the DARPAConnect ERIS Portal, titled in the format “DARPA-SN-26-82: [Your Solution Title],” with a mandatory confirmation email sent to eris@darpa.mil containing the submission title and date. Both new proposals and existing awardable solutions on ERIS may be submitted, with existing providers able to flag prior submissions for consideration. Evaluation is based on four core, equally critical factors: the depth of problem definition and comparison to the current state of the art; the potential for significant technical innovation in generating high-power lasers for compact platforms; the demonstrated expertise and vision of the proposing team; and the broader impact on tactical defense systems such as counter-UAV and counter-rocket applications as well as potential commercial use cases. Submissions will be reviewed on a rolling basis, and the government retains the right to make one or more awards before the official deadline, meaning early submission is strongly encouraged. There are no specified pricing structures, delivery schedules, or contract clauses, as this is a research and discovery effort under ERIS; all participants are directed to the established ERIS Master Solicitation for standard procedures. The effort falls under NAICS code 541713 and is managed by DARPA from its Arlington, Virginia office, with all inquiries and submissions routed through the designated ERIS coordinator.

Defense Advanced Research Projects Agcy

POSTED

DEADLINE

The contract under the Nanotechnology topic focuses on advancing the design, synthesis, and application of functional materials and systems at the nanoscale, between a fraction of a nanometer and 100 nanometers. It seeks innovations in hierarchical nanostructures, nanolayered systems, nanowires, nanotubes, quantum dots, nanoparticles, nanofibers, and related biomaterials and composites, emphasizing novel properties derived from precise control of matter at this minute scale. The initiative encourages breakthroughs that push the boundaries of science and engineering through controlled nanoscale manipulation, aiming to enable new technologies across multiple domains. This solicitation is a Total Small Business Set-Aside under the SBA mandating eligibility exclusively for small businesses with fewer than 500 employees, aligned with the SBIR/STTR program. It is administered by the National Science Foundation, with a NAICS code of 541713 for research and development in the physical, engineering, and life sciences. The opportunity was posted on May 22, 2026, and responses must be submitted by July 7, 2027. Performance location and point of contact details are not specified, and further information is available through the official SBIR portal link provided.

National Science Foundation

POSTED

DEADLINE

Proof-of-Concept Demonstration DevelopmentThis contract involves the development and demonstration of proof-of-concept prototypes and test beds aimed at validating new training technologies and research outcomes. The work will be performed under a subcontract arrangement with the Department of Defense’s Nawc Training Systems Division, focusing on advancing innovative training solutions. The place of performance for this contract is in Orlando. The contract falls under the NAICS code 541713, which relates to research and development in the physical, engineering, and life sciences, excluding biotechnology. The solicitation was posted on January 26, 2026, and responses are due by January 25, 2031, providing a substantial timeframe for proposal submissions and development activities. This opportunity is intended to support cutting-edge research and development efforts within the military training domain.

Nawc Training Systems Division

POSTED

DEADLINE

Artificial Intelligence and Machine Learning for Tactical Decision SupportThe contract focuses on the development of advanced artificial intelligence and machine learning models specifically designed to support real-time decision-making in contested operational environments. This includes capabilities such as sensor fusion to integrate multiple data sources, threat prediction to anticipate adversary actions, and autonomous planning to enable responsive and adaptive tactical decision support. The work aims to enhance situational awareness and decision accuracy under mission-critical conditions. Issued by the Department of Defense under the AFRL RIK office, the contract falls under NAICS code 541713, which covers research and development in the physical, engineering, and life sciences. The opportunity is structured as a subcontract and is targeted toward innovative solutions that can operate effectively in dynamic and uncertain environments. Key details such as solicitation number, set-aside status, and specific location for performance remain unspecified, but interested parties can access further information via the provided federal contract workspace link.

POSTED

DEADLINE

Sphere of Influence (SOI) Study Development

San Luis Obispo County Local Agency Formation Commission

POSTED

DEADLINE

Municipal Service Review (MSR) Study Preparation

San Luis Obispo County Local Agency Formation Commission

POSTED

DEADLINE

American River Common Features, 2016 Flood Risk Management Project, Sacramento, California

Solicitation # A4794

The Flood Risk Management Project focuses on design refinements to the 2016 American River Comprehensive Flood Project to mitigate erosion and slope instability along levees of the American and Sacramento Rivers in Sacramento County, California. The work encompasses eight major components: Magpie Creek Project; American River Erosion Contracts 3B North, 3B South, 4A, and 4B; Sacramento River Erosion Contract 3; American River and Sacramento River Mitigation Sites; and the installation of a Piezometer Network for groundwater monitoring. The primary objective is to enhance flood risk reduction through engineering modifications, footprint expansions of levee systems, and implementation of compensatory habitat mitigation. A critical administrative component is the approval of a 49-year General Lease by the State Lands Commission for the American River Erosion Contracts 3B North and 3B South, extending through June 22, 2075, ensuring long-term land use authority for project operations. Environmental compliance is governed exclusively under the California Environmental Quality Act (CEQA), with formal adoption of a Final Environmental Impact Report and a Mitigation Monitoring and Reporting Program, which was updated in 2023 and again in 2025 to reflect evolving project conditions and mitigation requirements. Inspection and acceptance are conducted by government entities—the California State Lands Commission and the Sacramento Area Flood Control Agency—with oversight focused on adherence to CEQA findings, implementation of mitigation measures, and environmental compliance rather than traditional federal procurement standards. While the project is administered by the Central Valley Flood Protection Board, with key contacts including Robin Tuohy and Omar Fernandez, no traditional contract clauses, pricing data, or FAR-compliant administration details such as payment offices, accounting codes, or evaluation factors are present in the documentation. The solicitation number A4794 was posted on June 23, 2026, and the project relies on a hybrid structure of long-term land leases and individual task contracts without formal classification under standard federal contract types. All deliverables center on environmental resilience and infrastructure protection, with no indication of commercial goods, shipping terms, or service-based performance metrics beyond ecological and geotechnical outcomes.

Central Valley Flood Protection Board

POSTED

DEADLINE

Algorithm Development for Robust Decision-MakingThe contract focuses on the development and testing of algorithms designed to ensure robust decision-making capabilities under challenging adversarial conditions, including jamming, spoofing, and environments with degraded data quality. The primary goal is to create algorithms that maintain high performance and reliability despite attempts to disrupt or degrade system inputs, which is critical for defense applications. The contract is issued as a subcontract under the NAICS code 541713 and is associated with the Department of Defense, specifically under the Air Force Research Laboratory's oversight. Posted in December 2025, the engagement emphasizes innovation in algorithmic resilience and adaptability within complex operational settings. The scope includes both the design phase and rigorous testing to validate effectiveness against various forms of data interference and attack vectors. This work is intended to enhance decision-making systems that operate in contested or compromised environments, thereby supporting mission-critical functions that rely on reliable and accurate computational outputs. Further administrative details such as exact locations, points of contact, or set-aside statuses are not specified.

POSTED

DEADLINE

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

Same awarding agency

NAICS: 541715

New

Federal

Fox Tail Industry Day

Solicitation # DARPA-SN-26-109

The Defense Advanced Research Projects Agency is hosting a collateral SECRET Industry Day for the Fox Tail program on August 31, 2026, in Arlington, Virginia. This event is designed to inform potential proposers about the objectives of an upcoming Program Solicitation. The session will run from 8:00 a.m. to 4:00 p.m. Eastern Time and will not be available via webcast, meaning attendance requires advance registration. Under solicitation number DARPA-SN-26-109, the notice was posted on August 12, 2026, with a response deadline for registration by August 24, 2026. The opportunity falls under NAICS code 541715 and is managed by the Defense Sciences Office. Interested parties should coordinate with the BAA Coordinator via the provided email for further details.

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

POSTED

DEADLINE

Technology Transition Support to DoD Stakeholders

Other Scientific and Technical Consulting Services

POSTED

DEADLINE

Application-Specific Testing in Extreme Cold Environments

Testing Laboratories and Services

POSTED

DEADLINE

Scale-Up and Process Engineering for Anti-Icing Materials

All Other Miscellaneous Chemical Product and Preparation Manufacturing

POSTED

DEADLINE

High-Throughput Quantitative Assay Development

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

POSTED

DEADLINE

Bioinspired Anti-Icing Molecule Development

Research and Development in Biotechnology (except Nanobiotechnology)

POSTED

DEADLINE

Machine-Analyzable Market Design Framework Development

Computer Systems Design Services

POSTED

DEADLINE

Adversarial Market Simulation and Vulnerability Testing

Other Scientific and Technical Consulting Services

POSTED

DEADLINE

Large Language Model (LLM) Engineering for Regulatory Document Parsing

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

POSTED

DEADLINE

Future Program: Intrinsic Market Resilience (IMR)

Solicitation # DARPA-SN-26-110

The Intrinsic Market Resilience (IMR) program, issued by the Defense Advanced Research Projects Agency under solicitation DARPA-SN-26-110, seeks to protect critical economic sectors from systemic risks and adversarial attacks targeting modern electronic market interfaces. While current regulations focus on profit-driven manipulation, this initiative addresses the gap in protecting markets from actors intending to cause general disruption and economic chaos. The program aims to ensure the stability of civilian and military resources by making market designs fundamentally more resilient to attack. To achieve this, the IMR program will integrate Large Language Model automation with rigorous mathematical modeling to identify and repair hidden market weaknesses. The technical approach involves creating formal notations from regulatory and technical specifications to develop machine-analyzable models. By formulating resilience conjectures, the program will prove market stability or generate counterexamples to identify vulnerabilities, ultimately recommending specific design repairs to safeguard the integrity of U.S. markets.

Research and Development in Biotechnology (except Nanobiotechnology)

POSTED

DEADLINE

Notice of Intent to Award Using Other than Full and Open Competition -Ice Control for Cold Environments (ICE)

Solicitation # DARPA-SN-26-117

The Defense Advanced Research Projects Agency, acting through the Contracts Management Office on behalf of the Biological Technologies Office, intends to award Phase III modifications under the Ice Control for Cold Environments program. These awards are designated for Michigan Technological University, the University of Michigan, and Ginkgo Bioworks, Inc., and will be executed using a competition process other than full and open competition. This special notice, identified by solicitation number DARPA-SN-26-117, was posted on August 11, 2026, with a response deadline of August 26, 2026. The project falls under NAICS code 541714 and is managed by the Department of Defense in Arlington, Virginia.

Research and Development in Biotechnology (except Nanobiotechnology)

POSTED

DEADLINE

Optical Sensor and Detector Supply

Semiconductor and Related Device Manufacturing

POSTED

3 days ago

DEADLINE

in 8 days

View Details