Resilient Software Systems Accelerator

DoD

Location

Posted

Sep. 05

Deadline

Nov. 05

Source & Summary

Summary

DARPA is soliciting proposals for the Resilient Software Systems Accelerator, which will fund developers of formal methods tools to partner with Defense Industrial Base companies. The initiative aims to apply these tools to DoD systems, conduct red team assessments, and evaluate resilience improvements. Results will inform the DARPA Guide to Formal Methods for developing more secure and robust defense software systems.

Sign Up to View Source

Bid Tracking

Planning

In Progress

No Bid

Submitted

Won

Lost

Paused

Track Your Bids

Sign up to track your bids from start to finish.

Similar Opportunities

Announcement: Platform One Solutions Marketplace (P1SM)/Commercial Solutions Opening (CSO)

DoD

D.C. (Washington)

Navy Enterprise Resource Planning Plus (ERP+)

DoD

FY26 Communications and Networking Applied Research

DoD

C4ISR, Information Operations, Cyberspace Operations and Information Technology System Research, Cryogenics and Quantum

DoD

Due: Jun. 09, 2026

Platform One Solutions Marketplace (P1SM) / Commercial Solutions Opening (CSO)

DoD

Deadline Countdown

0

days left

00

Hours

00

Minutes

00

Seconds

Due: November 5, 2025

Deadline Passed

This bid expired 1 month from now

Get Full Access

To view source links, save opportunities, and track bid deadlines, you need to sign in or create an account.

Share & More

More Bids in VA

View all opportunities in this location