# RFI: Levels of Resilience through Formal Methods

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

- Solicitation number: DARPA-SN-26-71
- Notice type: Special notice
- Status: Closed. Deadline was June 12, 2026
- 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: May 4, 2026
- Last posted: May 4, 2026
- SAM.gov: https://sam.gov/workspace/contract/opp/514ed4aac20d4ddf8ac99f3402586fff/view

## Description

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost, and lifecycle constraints.

## Publications

- May 4, 2026: Special notice, due June 12, 2026. Notice 514ed4aac20d4ddf8ac99f3402586fff. https://sam.gov/workspace/contract/opp/514ed4aac20d4ddf8ac99f3402586fff/view

## Points of contact

- RFI Coordinator, ResilientSoftwareSystems@darpa.mil

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