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
Menu

Special notice

Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems

DARPA-SN-25-55

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

127 open like this View on SAM.gov Markdown

Response deadline

April 10, 2025

Closed 570 days ago. Posted April 2, 2025, first published March 10, 2025. Scheduled to archive April 11, 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.

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways.

DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.

Publications

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

  1. March 10, 2025

    Special notice

    Due April 3, 2025. SAM.gov, notice 51f34228c0ab4e388c97d33b424bdc3e

  2. March 17, 2025

    Special notice

    Due April 3, 2025. SAM.gov, notice 76b6ee104d834964b941da196dc34242

  3. April 2, 2025

    Special notice

    Due April 10, 2025. SAM.gov, notice 31d7aa25a31741f19b9efc2d3019bb21

Points of contact