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

Canonical: https://abierto.us/opportunities/darpasn2555

- Solicitation number: DARPA-SN-25-55
- Notice type: Special notice
- Status: Closed. Deadline was April 10, 2025
- Department: Department of Defense
- Agency: Defense Advanced Research Projects Agency
- Contracting office: Def Advanced Research Projects Agcy (HR0011)
- NAICS: 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Product or service code: AC12 National Defense R&D Services; Department Of Defense - Military; Applied Research
- First posted: March 10, 2025
- Last posted: April 2, 2025
- SAM.gov: https://sam.gov/workspace/contract/opp/31d7aa25a31741f19b9efc2d3019bb21/view

## Description

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

- March 10, 2025: Special notice, due April 3, 2025. Notice 51f34228c0ab4e388c97d33b424bdc3e. https://sam.gov/workspace/contract/opp/51f34228c0ab4e388c97d33b424bdc3e/view
- March 17, 2025: Special notice, due April 3, 2025. Notice 76b6ee104d834964b941da196dc34242. https://sam.gov/workspace/contract/opp/76b6ee104d834964b941da196dc34242/view
- April 2, 2025: Special notice, due April 10, 2025. Notice 31d7aa25a31741f19b9efc2d3019bb21. https://sam.gov/workspace/contract/opp/31d7aa25a31741f19b9efc2d3019bb21/view

## Points of contact

- BAA Coordinator, DARPA-SN-25-55@darpa.mil

---
Source: SAM.gov Contract Opportunities bulk extract. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/darpasn2555.