{"canonical":"https://abierto.us/opportunities/darpasn2717","key":"DARPASN2717","url":"https://abierto.us/opportunities/darpasn2717","title":"Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)","solicitation_number":"DARPA-SN-27-17","notice_type":"s","open":false,"removed":false,"removed_at":null,"response_deadline":"2026-11-30","first_posted":"2026-11-03","last_posted":"2026-11-03","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_scope":"nationwide","site":null,"place_state_source":null,"place_evidence":"Research and development (PSC AC12)","place_county":null,"place_county_name":null,"place_city":null,"place_city_name":null,"winner":null,"award_amount":null,"publications":[{"notice_id":"e4ea14eef4df480ea295f13b6b2159ea","title":"Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)","solicitation_number":"DARPA-SN-27-17","notice_type":"s","base_type":"s","posted":"2026-11-03","posted_at":null,"due_at":null,"due_date":"2026-11-30","cancelled":null,"archived":null,"archive_date":"2026-12-01","removed_at":null,"award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/e4ea14eef4df480ea295f13b6b2159ea/view","enriched":false,"history":[]}],"latest_notice_id":"e4ea14eef4df480ea295f13b6b2159ea","first_type":"s","notices":[{"dates":{"posted":"2026-11-03","response_deadline":{"raw":"2026-11-30T17:00:00","date":"2026-11-30","time":"17:00:00"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/e4ea14eef4df480ea295f13b6b2159ea/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)","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":true,"archive_date":"2026-12-01","archive_type":"auto_custom"},"contacts":[{"name":"RFI Coordinator","role":"primary","email":"FLASH@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"e4ea14eef4df480ea295f13b6b2159ea","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/datagov/ContractOpportunitiesFullCSV.csv","etag":"\"8a5f19f0e2b7e2f39317117436ecba2f-26\"","fetched_at":"2026-11-04T05:10:28.855326963Z","row_sha256":"42b1363a0622dfc095bc7ef15a8ffd14d734ac65f2fb633201f5a9a33394dc6d","last_modified":"2026-11-04T04:30:43Z"},"updated_at":"2026-11-04T05:10:28.855326963Z","first_seen_at":"2026-11-04T05:10:28.855326963Z"},"description":{"text":"The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-27-17","product_service_code":"AC12"}],"due_at":null,"due_date":"2026-11-30","closes_at":"2026-12-01T00: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,"state_source":null,"state_evidence":"Research and development (PSC AC12)","site_key":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-11-04T05:14:00.353426Z","principal_notice_id":"e4ea14eef4df480ea295f13b6b2159ea","description":{"text":"The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.","html":null,"origin":"extract"},"contacts":[{"name":"RFI Coordinator","role":"primary","email":"FLASH@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":"DARPAPA2701","latest_notice_id":"7cc49984be44476e8798ab0e0c1f253b","title":"High-throughput Unmasking of Biological Interactomes with Binding Landscape Emulators (HUBBLE)","solicitation_number":"DARPA-PA-27-01","notice_type":"o","first_type":"o","first_posted":"2026-10-08","last_posted":"2026-10-28","notices":2,"due_at":null,"due_date":"2026-11-05","closes_at":"2026-11-06T00:00:00Z","awardable":true,"open":true,"removed":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","naics":"541714","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-29T04:15:54.363094Z"},{"key":"DARPAPS26137","latest_notice_id":"182eab6ca77d465f931c6dc118b939ca","title":"Firefox","solicitation_number":"DARPA-PS-26-137","notice_type":"o","first_type":"o","first_posted":"2026-09-16","last_posted":"2026-09-16","notices":1,"due_at":null,"due_date":"2026-11-09","closes_at":"2026-11-10T00:00:00Z","awardable":true,"open":true,"removed":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","naics":"541714","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-09-24T03:25:58.922164Z"},{"key":"DARPASS2701","latest_notice_id":"4da5bb67e9a641dfb676e165fe44d9f6","title":"Solid-State Energy Conversion from Heat to Electricity Request for Information (RFI)","solicitation_number":"DARPA-SS-27-01","notice_type":"r","first_type":"r","first_posted":"2026-10-23","last_posted":"2026-10-23","notices":1,"due_at":null,"due_date":"2026-11-23","closes_at":"2026-11-24T00:00:00Z","awardable":true,"open":true,"removed":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","naics":"541715","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC11)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-24T03:56:54.139438Z"},{"key":"DARPAPA260202","latest_notice_id":"4a1aad28cb2a4b2ab1ee408c639202ef","title":"Quantum Benchmarking Initiative Topic (QBIT) Stage A","solicitation_number":"DARPA-PA-26-02-02","notice_type":"o","first_type":"o","first_posted":"2026-03-09","last_posted":"2026-07-29","notices":4,"due_at":null,"due_date":"2026-11-30","closes_at":"2026-12-01T00:00:00Z","awardable":true,"open":true,"removed":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","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-09-24T03:25:58.922164Z"},{"key":"DARPAPS2706","latest_notice_id":"779747fc37084ac9b5dc3ff7ad5df923","title":"Unison","solicitation_number":"DARPA-PS-27-06","notice_type":"o","first_type":"o","first_posted":"2026-11-02","last_posted":"2026-11-02","notices":1,"due_at":null,"due_date":"2026-12-04","closes_at":"2026-12-05T00:00:00Z","awardable":true,"open":true,"removed":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","naics":"541715","psc":"AC13","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC13)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-11-03T04:52:39.433634Z"}],"similar_open":[{"key":"68HERW26R0102","latest_notice_id":"82c25ab2750f410cb73817384e8d9fb3","title":"A--SBIR FY26 Phase I Broad Agency Announcement","solicitation_number":"68HERW26R0102","notice_type":"o","first_type":"o","first_posted":"2026-09-24","last_posted":"2026-10-13","notices":3,"due_at":"2026-11-09T04:59:00Z","due_date":"2026-11-08","closes_at":"2026-11-09T04:59:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-068","dept_name":"ENVIRONMENTAL PROTECTION AGENCY","sub_key":"s-6800","sub_name":"ENVIRONMENTAL PROTECTION AGENCY","office_key":"o-68HERW","office_name":"WATER, TRIBAL & SCIENCE DIVISION","naics":"541715","psc":"AJ12","set_aside":"SBA","state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"A--SBIR FY26 PHASE I BROAD AGENCY ANNOUNCEMENT","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-14T03:57:08.970241Z"},{"key":"HQ003427AOI5","latest_notice_id":"5cc2aa5e28f543b39102b132921f560b","title":"Area of Interest: OSW Cost Assessment and Program Evaluation (CAPE) Modeling and Simulation","solicitation_number":"HQ003427AOI5","notice_type":"k","first_type":"k","first_posted":"2026-11-02","last_posted":"2026-11-02","notices":1,"due_at":"2026-11-12T21:00:00Z","due_date":"2026-11-12","closes_at":"2026-11-12T21:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97F5","sub_name":"WASHINGTON HEADQUARTERS SERVICES (WHS)","office_key":"o-HQ0034","office_name":"WASHINGTON HEADQUARTERS SERVICES","naics":"541715","psc":"AC32","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":"USA","place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC32)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-11-03T04:52:39.433634Z"},{"key":"STITCHES001","latest_notice_id":"dcfc9ac5164d4ca588977708b455e142","title":"System of systems Technology Integration Tool Chain for Heterogeneous Electronic Systems (STITCHES) Sources Sought","solicitation_number":"STITCHES_001","notice_type":"r","first_type":"r","first_posted":"2026-10-30","last_posted":"2026-10-30","notices":1,"due_at":"2026-11-14T18:00:00Z","due_date":"2026-11-14","closes_at":"2026-11-14T18:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-057","dept_name":"DEPT OF DEFENSE","sub_key":"s-5700","sub_name":"DEPT OF THE AIR FORCE","office_key":"o-FA2057","office_name":"FA2057 AFLCMC HNJK","naics":"541715","psc":null,"set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"unknown","state_source":null,"state_evidence":null,"site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-31T03:50:03.904859Z"}],"similar_open_total":130}