This Government Contract opportunity from Department Of Defense was posted on May 4, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.
RFI: Levels of Resilience through Formal Methods
Contract Overview
Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.
Active Opportunities Like This One
AI Contract Overview
The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) is requesting information on methodologies, tools, and best practices that enable various degrees of software resilience and assurance. This effort aims to align these resilience levels with specific mission requirements while taking into account cost considerations and lifecycle constraints. The Request for Information (RFI) titled "Levels of Resilience through Formal Methods," under solicitation number DARPA-SN-26-71, was announced on May 4, 2026, with responses due by June 12, 2026. This special notice is focused on gathering innovative approaches that can enhance software robustness, potentially leveraging formal methods to achieve graduated resilience suitable for defense applications. The solicitation is managed by DARPA's Information Innovation Office within the Department of Defense, headquartered in Arlington, VA. Interested parties or respondents can direct their questions or submissions to the designated RFI Coordinator via the provided contact email. This initiative falls under the NAICS code 541715, indicating a focus on research and development in the physical, engineering, and life sciences domains.
General Info
Agency
NAICS
Place of Performance
VASet-Aside
Timeline
Submission Closed
