{"canonical":"https://abierto.us/opportunities/darpasn2671","key":"DARPASN2671","url":"https://abierto.us/opportunities/darpasn2671","title":"RFI: Levels of Resilience through Formal Methods","solicitation_number":"DARPA-SN-26-71","notice_type":"s","open":false,"response_deadline":"2026-06-12","first_posted":"2026-05-04","last_posted":"2026-05-04","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":"514ed4aac20d4ddf8ac99f3402586fff","title":"RFI: Levels of Resilience through Formal Methods","solicitation_number":"DARPA-SN-26-71","notice_type":"s","base_type":"s","posted":"2026-05-04","posted_at":null,"due_at":null,"due_date":"2026-06-12","cancelled":null,"archived":null,"archive_date":"2026-06-13","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/514ed4aac20d4ddf8ac99f3402586fff/view","enriched":false,"history":[]}],"latest_notice_id":"514ed4aac20d4ddf8ac99f3402586fff","first_type":"s","notices":[{"dates":{"posted":"2026-05-04","response_deadline":{"raw":"2026-06-12T17:00:00","date":"2026-06-12","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/514ed4aac20d4ddf8ac99f3402586fff/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"RFI: Levels of Resilience through Formal Methods","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":"2026-06-13","archive_type":"auto_custom"},"contacts":[{"name":"RFI Coordinator","role":"primary","email":"ResilientSoftwareSystems@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"514ed4aac20d4ddf8ac99f3402586fff","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2026_archived_opportunities.csv","etag":"\"d9374b90a938e9923d910594731b7b57-106\"","fetched_at":"2026-09-16T16:22:53.920682Z","row_sha256":"7f8334f2ac856e47c490334f280f6d81363968252a50b7680e1ea4e056f94a8b","last_modified":"2026-09-13T14:50:39Z"},"updated_at":"2026-09-16T16:22:53.920682Z","first_seen_at":"2026-09-16T16:22:53.920682Z"},"description":{"text":"The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost, and lifecycle constraints.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-26-71","product_service_code":"AC12"}],"due_at":null,"due_date":"2026-06-12","closes_at":"2026-06-13T00: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":"514ed4aac20d4ddf8ac99f3402586fff","description":{"text":"The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost, and lifecycle constraints.","html":null,"origin":"extract"},"contacts":[{"name":"RFI Coordinator","role":"primary","email":"ResilientSoftwareSystems@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"}]}