{"canonical":"https://abierto.us/opportunities/darpasn2555","key":"DARPASN2555","url":"https://abierto.us/opportunities/darpasn2555","title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","solicitation_number":"DARPA-SN-25-55","notice_type":"s","open":false,"response_deadline":"2025-04-10","first_posted":"2025-03-10","last_posted":"2025-04-02","department":"DEPT OF DEFENSE","subagency":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","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":"51f34228c0ab4e388c97d33b424bdc3e","title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","solicitation_number":"DARPA-SN-25-55","notice_type":"s","base_type":"s","posted":"2025-03-10","posted_at":null,"due_at":null,"due_date":"2025-04-03","cancelled":null,"archived":null,"archive_date":"2025-04-04","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/51f34228c0ab4e388c97d33b424bdc3e/view","enriched":false,"history":[]},{"notice_id":"76b6ee104d834964b941da196dc34242","title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","solicitation_number":"DARPA-SN-25-55","notice_type":"s","base_type":"s","posted":"2025-03-17","posted_at":null,"due_at":null,"due_date":"2025-04-03","cancelled":null,"archived":null,"archive_date":"2025-04-04","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/76b6ee104d834964b941da196dc34242/view","enriched":false,"history":[]},{"notice_id":"31d7aa25a31741f19b9efc2d3019bb21","title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","solicitation_number":"DARPA-SN-25-55","notice_type":"s","base_type":"s","posted":"2025-04-02","posted_at":null,"due_at":null,"due_date":"2025-04-10","cancelled":null,"archived":null,"archive_date":"2025-04-11","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/31d7aa25a31741f19b9efc2d3019bb21/view","enriched":false,"history":[]}],"latest_notice_id":"31d7aa25a31741f19b9efc2d3019bb21","first_type":"s","notices":[{"dates":{"posted":"2025-03-10","response_deadline":{"raw":"2025-04-03T17:00:00","date":"2025-04-03","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/51f34228c0ab4e388c97d33b424bdc3e/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","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-04-04","archive_type":"auto_custom"},"contacts":[{"name":"BAA Coordinator","role":"primary","email":"DARPA-SN-25-55@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"51f34228c0ab4e388c97d33b424bdc3e","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":"6d1bfc5c8c836c75488d912787fb650b10ae085e59aa47dfe427442771264919","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 Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-55","product_service_code":"AC12"},{"dates":{"posted":"2025-03-17","response_deadline":{"raw":"2025-04-03T17:00:00","date":"2025-04-03","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/76b6ee104d834964b941da196dc34242/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","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-04-04","archive_type":"auto_custom"},"contacts":[{"name":"BAA Coordinator","role":"primary","email":"DARPA-SN-25-55@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"76b6ee104d834964b941da196dc34242","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":"fbe16f2f2dbbcef7020e50ce01cd1fea1d72bd71b8fbdf760d915478da24b290","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 Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-55","product_service_code":"AC12"},{"dates":{"posted":"2025-04-02","response_deadline":{"raw":"2025-04-10T17:00:00","date":"2025-04-10","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/31d7aa25a31741f19b9efc2d3019bb21/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems","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-04-11","archive_type":"auto_custom"},"contacts":[{"name":"BAA Coordinator","role":"primary","email":"DARPA-SN-25-55@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"31d7aa25a31741f19b9efc2d3019bb21","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":"f4d786e8992c18f2a4f0499d04342ed08fcf45e48a39bf3a7523c42199f4e262","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 Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-25-55","product_service_code":"AC12"}],"due_at":null,"due_date":"2025-04-10","closes_at":"2025-04-11T00: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":"31d7aa25a31741f19b9efc2d3019bb21","description":{"text":"The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.","html":null,"origin":"extract"},"contacts":[{"name":"BAA Coordinator","role":"primary","email":"DARPA-SN-25-55@darpa.mil"}],"place_of_performance":null,"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"naics_codes":["541715"],"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"}]}