{"canonical":"https://abierto.us/opportunities/darpasn2534","key":"DARPASN2534","url":"https://abierto.us/opportunities/darpasn2534","title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","solicitation_number":"DARPA-SN-25-34","notice_type":"s","open":false,"response_deadline":"2025-03-07","first_posted":"2025-01-21","last_posted":"2025-02-20","department":"DEPT OF DEFENSE","subagency":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541714","psc":"AC12","set_aside":null,"place_state":null,"place_county":null,"place_county_name":null,"place_city":null,"place_city_name":null,"winner":null,"award_amount":null,"publications":[{"notice_id":"ffd30e75a890495885d5da82896bdb8b","title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","solicitation_number":"DARPA-SN-25-34","notice_type":"s","base_type":"s","posted":"2025-01-21","posted_at":null,"due_at":null,"due_date":"2025-02-25","cancelled":null,"archived":null,"archive_date":"2025-02-26","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/ffd30e75a890495885d5da82896bdb8b/view","enriched":false,"history":[]},{"notice_id":"127898f2979642eea65316c88a3169ba","title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","solicitation_number":"DARPA-SN-25-34","notice_type":"s","base_type":"s","posted":"2025-01-23","posted_at":null,"due_at":null,"due_date":"2025-02-25","cancelled":null,"archived":null,"archive_date":"2025-02-26","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/127898f2979642eea65316c88a3169ba/view","enriched":false,"history":[]},{"notice_id":"1fbef90fc098420e9e942f9ce2b643f5","title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","solicitation_number":"DARPA-SN-25-34","notice_type":"s","base_type":"s","posted":"2025-01-24","posted_at":null,"due_at":null,"due_date":"2025-02-25","cancelled":null,"archived":null,"archive_date":"2025-02-26","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/1fbef90fc098420e9e942f9ce2b643f5/view","enriched":false,"history":[]},{"notice_id":"1af518c646e44ced895efe56f71f6df6","title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","solicitation_number":"DARPA-SN-25-34","notice_type":"s","base_type":"s","posted":"2025-02-20","posted_at":null,"due_at":null,"due_date":"2025-03-07","cancelled":null,"archived":null,"archive_date":"2025-03-21","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/1af518c646e44ced895efe56f71f6df6/view","enriched":false,"history":[]}],"latest_notice_id":"1af518c646e44ced895efe56f71f6df6","first_type":"s","notices":[{"dates":{"posted":"2025-01-21","response_deadline":{"raw":"2025-02-25T17:00:00","date":"2025-02-25","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/ffd30e75a890495885d5da82896bdb8b/view"},"naics":{"codes":["541714"],"primary":"541714"},"title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_type":"OFFICE"},"status":{"active":false,"archive_date":"2025-02-26","archive_type":"auto_custom"},"contacts":[{"name":"QB@darpa.mil","role":"primary","email":"QB@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"ffd30e75a890495885d5da82896bdb8b","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2025_archived_opportunities.csv","etag":"\"d47226e3d2c6545974b252e103f82b34-139\"","fetched_at":"2026-09-16T17:45:50.850439Z","row_sha256":"4dcdb07faed1ce43aeeb8b3f79904d2c338dc30bcc63c8efcd4aaa4e5906637f","last_modified":"2026-09-13T14:49:20Z"},"updated_at":"2026-09-16T17:45:50.850439Z","first_seen_at":"2026-09-16T17:45:50.850439Z"},"description":{"text":"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.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-34","product_service_code":"AC12"},{"dates":{"posted":"2025-01-23","response_deadline":{"raw":"2025-02-25T17:00:00","date":"2025-02-25","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/127898f2979642eea65316c88a3169ba/view"},"naics":{"codes":["541714"],"primary":"541714"},"title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_type":"OFFICE"},"status":{"active":false,"archive_date":"2025-02-26","archive_type":"auto_custom"},"contacts":[{"name":"QB@darpa.mil","role":"primary","email":"QB@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"127898f2979642eea65316c88a3169ba","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2025_archived_opportunities.csv","etag":"\"d47226e3d2c6545974b252e103f82b34-139\"","fetched_at":"2026-09-16T17:45:50.850439Z","row_sha256":"3e61693b39711c2d09d926fa5ebcfb28f9d227d0ba2d092a80a848361de2856c","last_modified":"2026-09-13T14:49:20Z"},"updated_at":"2026-09-16T17:45:50.850439Z","first_seen_at":"2026-09-16T17:45:50.850439Z"},"description":{"text":"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.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-34","product_service_code":"AC12"},{"dates":{"posted":"2025-01-24","response_deadline":{"raw":"2025-02-25T17:00:00","date":"2025-02-25","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/1fbef90fc098420e9e942f9ce2b643f5/view"},"naics":{"codes":["541714"],"primary":"541714"},"title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_type":"OFFICE"},"status":{"active":false,"archive_date":"2025-02-26","archive_type":"auto_custom"},"contacts":[{"name":"DARPA-SN-25-34@darpa.mil","role":"primary","email":"DARPA-SN-25-34@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"1fbef90fc098420e9e942f9ce2b643f5","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2025_archived_opportunities.csv","etag":"\"d47226e3d2c6545974b252e103f82b34-139\"","fetched_at":"2026-09-16T17:45:50.850439Z","row_sha256":"a47b584d5fc55905bad0db3b4b6acf0059d815a380f8f945759c71c024192b42","last_modified":"2026-09-13T14:49:20Z"},"updated_at":"2026-09-16T17:45:50.850439Z","first_seen_at":"2026-09-16T17:45:50.850439Z"},"description":{"text":"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.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-34","product_service_code":"AC12"},{"dates":{"posted":"2025-02-20","response_deadline":{"raw":"2025-03-07T17:00:00","date":"2025-03-07","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/1af518c646e44ced895efe56f71f6df6/view"},"naics":{"codes":["541714"],"primary":"541714"},"title":"Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_type":"OFFICE"},"status":{"active":false,"archive_date":"2025-03-21","archive_type":"auto_custom"},"contacts":[{"name":"DARPA-SN-25-34@darpa.mil","role":"primary","email":"DARPA-SN-25-34@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"1af518c646e44ced895efe56f71f6df6","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2025_archived_opportunities.csv","etag":"\"d47226e3d2c6545974b252e103f82b34-139\"","fetched_at":"2026-09-16T17:45:50.850439Z","row_sha256":"616c6bca49bea7a2f5a1ca73f243c5eeca55d6914d7bab8ed1e731ffd7a41680","last_modified":"2026-09-13T14:49:20Z"},"updated_at":"2026-09-16T17:45:50.850439Z","first_seen_at":"2026-09-16T17:45:50.850439Z"},"description":{"text":"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.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-34","product_service_code":"AC12"}],"due_at":null,"due_date":"2025-03-07","closes_at":"2025-03-08T00:00:00Z","awardable":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z","principal_notice_id":"1af518c646e44ced895efe56f71f6df6","description":{"text":"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.","html":null,"origin":"extract"},"contacts":[{"name":"DARPA-SN-25-34@darpa.mil","role":"primary","email":"DARPA-SN-25-34@darpa.mil"}],"place_of_performance":null,"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"naics_codes":["541714"],"award":null,"attachments":[],"awards":[],"related":[{"key":"DARPAPS26127","latest_notice_id":"8b8a67ca341440198bb3e5d8c4786454","title":"Perrseus","solicitation_number":"DARPA-PS-26-127","notice_type":"o","first_type":"o","first_posted":"2026-07-15","last_posted":"2026-09-14","notices":15,"due_at":null,"due_date":"2026-09-23","closes_at":"2026-09-24T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"HR001126S0003","latest_notice_id":"8d403582edfd409795560247e8d229b7","title":"Biological Technologies","solicitation_number":"HR001126S0003","notice_type":"o","first_type":"o","first_posted":"2025-10-01","last_posted":"2025-10-01","notices":1,"due_at":null,"due_date":"2026-09-30","closes_at":"2026-10-01T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541714","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"HR001126S0016","latest_notice_id":"5b497934e0474b72bbf7e03d8babb571","title":"Precision Inertial Navigation & Positioning On an Integrated Tesseract (PINPOINT)","solicitation_number":"HR001126S0016","notice_type":"o","first_type":"o","first_posted":"2026-08-06","last_posted":"2026-09-10","notices":3,"due_at":null,"due_date":"2026-10-02","closes_at":"2026-10-03T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"DARPAPA250706","latest_notice_id":"3ac25ac710fb438e8d25d99783cee845","title":"Selective Harnessing of Intrinsic Neuroplasticity Engineering (SHINE)","solicitation_number":"DARPA-PA-25-07-06","notice_type":"o","first_type":"o","first_posted":"2026-08-28","last_posted":"2026-09-03","notices":2,"due_at":null,"due_date":"2026-10-09","closes_at":"2026-10-10T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"DARPAPA250704","latest_notice_id":"f0e3e0d303254053922d9b2c7a67e878","title":"Resilient","solicitation_number":"DARPA-PA-25-07-04","notice_type":"o","first_type":"o","first_posted":"2026-08-20","last_posted":"2026-09-04","notices":3,"due_at":null,"due_date":"2026-10-19","closes_at":"2026-10-20T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"}]}