WASHINGTON, Sept. 29 -- DEF ADVANCED RESEARCH PROJECTS AGCY, DEPT OF DEFENSE, has a requirement for "Resilient Software Systems (RSS) Accelerator". The solicitation notice (DARPA-PS-25-29) was posted on Sep 05, 2025 11:11 am EDT. All responses are due by Nov 05, 2025 05:00 pm EST.
Contract Notice Type: Solicitation (Updated)
Description: DARPA is working on additional pathways to support the transition of formal methods tools, including conducting a Resilient Software Systems Accelerator (RSS Accelerator). This accelerator will provide seed funding to formal methods tool developers who partner with Defense Industrial Base companies to identify Department of Defense (DoD) systems that would benefit from the use of their tools as described ...