Skip to content
OpenDue June 12, 2026

RFI: Levels of Resilience through Formal Methods

DEPT OF DEFENSE

About this opportunity

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.

Finding similar opportunities...