Procurement Summary
Country : USA
Summary : Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
Deadline : 10 Apr 2025
Other Information
Notice Type : Tender
TOT Ref.No.: 117185312
Document Ref. No. : DARPA-SN-25-55
Competition : ICB
Financier : Self Financed
Purchaser Ownership : Public
Tender Value : Refer Document
Purchaser's Detail
Name :Login to see tender_details
Address : Login to see tender_details
Email : Login to see tender_details
Login to see detailsTender Details
Description
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.
Active Contract Opportunity
Notice ID : DARPA-SN-25-55
Related Notice
Department/Ind. Agency : DEPT OF DEFENSE
Sub-tier : DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office: DEF ADVANCED RESEARCH PROJECTS AGCY
General Information
Contract Opportunity Type: Special Notice (Updated)
Updated Published Date: Apr 02, 2025 09:41 am EDT
Original Published Date: Mar 10, 2025 07:31 am EDT
Updated Response Date: Apr 10, 2025 05:00 pm EDT
Original Response Date: Apr 03, 2025 05:00 pm EDT
Inactive Policy: Manual
Updated Inactive Date: Apr 11, 2025
Original Inactive Date: Apr 04, 2025
Initiative: None
Classification
Original Set Aside:
Product Service Code: AC12 - NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH
NAICS Code: 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Place of Performance:
Documents
Tender Notice
DARPA-SN-25-55-Amendment-01.pdf
DARPA-SN-25-55.pdf