Skip to content
  • 6,813 federal solicitations are open right now. How many of them are yours?
  • New solicitations are posted every day. The ones you never saw are the ones you cannot win.
  • Stop checking SAM.gov every morning. Let the contracts that fit your business come to you.
  • Tell Abierto what you sell in one sentence. AI reads every open solicitation for you.
  • Deadlines are short. Hear about a solicitation the day it is posted, not the week it closes.
  • Amendments move deadlines. Watch a solicitation and Abierto tells you when it changes.
  • See which contracts in your field are about to end, and who holds them today.
  • Plans from $39 a month. See your matches before you pay.
See plans
AbiertoGet started

Special notice

Resilient Software Systems (RSS) Accelerator Proposers Day

DARPA-SN-25-104

Defense Advanced Research Projects Agency, Def Advanced Research Projects Agcy. Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology).

Response deadline

September 4, 2025

Closed 423 days ago. Posted August 28, 2025, first published August 22, 2025. Scheduled to archive September 25, 2025.

Get the next one like this from Defense Advanced Research Projects Agency by email, the day it is posted.Find my opportunities

This one closed in 2025

127 like it are open now in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

All 127 open in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

Description

As published on SAM.gov.

DARPA is working on additional pathways to support the transition of formal methods tools, including conducting a Resilient Software Systems Accelerator. This accelerator will provide seed funding to formal methods tool developers who partner with Defense Industrial Base companies to identify DoD systems that would benefit from the use of their tools as described above.

DARPA funding would support an initial red team assessment of the DoD system’s vulnerabilities, the application of the formal methods tool(s), and a second red team assessment to measure impact and level of effort. Conclusions from the efficacy of the tool would be incorporated into the DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (“the FMDRS Guide”).

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. August 22, 2025

    Special notice

    Due August 28, 2025. SAM.gov, notice 57708f2c38be4a5f8476aa54db82a4f8

  2. August 27, 2025

    Special notice

    Due September 4, 2025. SAM.gov, notice 8ea39862d5214940a8d8dad74333b254

  3. August 28, 2025

    Special notice

    Due September 4, 2025. SAM.gov, notice dbeb40aeff8641b0a2b3a99f457faa33

Points of contact