Skip to content
  • 6,813 federal solicitations are open right now. How many of them are yours?
  • New solicitations are posted every day. The ones you never saw are the ones you cannot win.
  • Stop checking SAM.gov every morning. Let the contracts that fit your business come to you.
  • Tell Abierto what you sell in one sentence. AI reads every open solicitation for you.
  • Deadlines are short. Hear about a solicitation the day it is posted, not the week it closes.
  • Amendments move deadlines. Watch a solicitation and Abierto tells you when it changes.
  • See which contracts in your field are about to end, and who holds them today.
  • Plans from $39 a month. See your matches before you pay.
See plans
AbiertoGet started
Menu

Special notice

Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)

DARPA-SN-25-34

Defense Advanced Research Projects Agency, Def Advanced Research Projects Agcy. Research and Development in Biotechnology (except Nanobiotechnology).

18 open like this View on SAM.gov Markdown

Response deadline

March 7, 2025

Closed 604 days ago. Posted February 20, 2025, first published January 21, 2025. Scheduled to archive March 21, 2025.

Get the next one like this from Defense Advanced Research Projects Agency by email, the day it is posted.Find my opportunities

This one closed in 2025

18 like it are open now in research and development in biotechnology (except nanobiotechnology)

All 18 open in research and development in biotechnology (except nanobiotechnology)

Description

As published on SAM.gov.

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Technology Office (I2O) seeks community feedback on the draft DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (“the FMDRS Guide”), provided as Attachment A to this Request for Information (RFI). DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience, on the scope and breadth of the FMDRS Guide. The goal of this RFI is to solicit robust feedback on the FMDRS Guide. Responses to this RFI will be used to inform the use of the FMDRS Guide in future DARPA solicitations.

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. January 21, 2025

    Special notice

    Due February 25, 2025. SAM.gov, notice ffd30e75a890495885d5da82896bdb8b

  2. January 23, 2025

    Special notice

    Due February 25, 2025. SAM.gov, notice 127898f2979642eea65316c88a3169ba

  3. January 24, 2025

    Special notice

    Due February 25, 2025. SAM.gov, notice 1fbef90fc098420e9e942f9ce2b643f5

  4. February 20, 2025

    Special notice

    Due March 7, 2025. SAM.gov, notice 1af518c646e44ced895efe56f71f6df6

Points of contact