DARPA #DARPA-SN-26-71

DARPA RFI: Research Input on Resilience through Formal Methods

DARPA's Information Innovation Office is seeking input from the research community on resilience achieved through formal methods: - Government Buyer: - Defense Advanced Research Projects Agency (DARPA), Information Innovation Office - OEMs and Vendors: - No specific OEMs or vendors are mentioned in this RFI - Products/Services Requested: - No products, part numbers, or quantities are specified - The RFI is focused on gathering information and perspectives on research topics - Unique or Notable Requirements: - The opportunity is for information gathering only, not for procurement of goods or services - No attachments or detailed technical requirements are provided - Respondents are invited to share insights on formal methods and resilience in research

Description

This is a Request for Information (RFI) issued by DARPA to gather insights on levels of resilience through formal methods. The opportunity is managed by the Information Innovation Office and focuses on research topics including formal methods and resilience. The RFI is open from May 4, 2026, to June 12, 2026. No specific bid response format, license/classification requirements, estimated value, or attachments are provided.

View original listing