WinAContractUS
Home/Contracts/RFI: Levels of Resilience through Formal Methods
Special Notice

RFI: Levels of Resilience through Formal Methods

Dept of Defense Posted May 04, 2026 DARPA-SN-26-71
Closes in 3 days· Jun 12, 2026, 05:00 PM View on SAM.gov

Key details

Notice type

Special Notice

NAICS code

541715

PSC / classification

AC12

Set-aside

Place of performance

Response deadline

Jun 12, 2026, 05:00 PM

Buyer intelligence

Dept of Defense

13,330

In our index

4,720

Open now

$9.3M

Avg award

See all opportunities from this buyer →

Contracting office

ARLINGTON, VA, 222032114
USA
Open in Google Maps

Contracting officer

Activity in our index

1 opportunity · last active May 04, 2026.

Documents & attachments (1)

Attachment 1
Bidding on this?

Draft your response with AI — 4 hours, not 40.

Founding members lock 50% off for life.

Claim a founding seat · $999
Back to all contracts