Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems

Location: Federal
Posted: Mar 17, 2025
Due: Apr 3, 2025
Agency: DEPT OF DEFENSE
Type of Government: Federal
Category:
  • A - Research and development
Solicitation No: DARPA-SN-25-55
Publication URL: To access bid details, please log in.
Follow
Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
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 View Changes
  • Contract Opportunity Type: Special Notice (Updated)
  • Updated Published Date: Mar 17, 2025 01:38 pm EDT
  • Original Published Date: Mar 10, 2025 07:31 am EDT
  • Updated Response Date: Apr 03, 2025 05:00 pm EDT
  • Original Response Date: Apr 03, 2025 05:00 pm EDT
  • Inactive Policy: Manual
  • Updated Inactive Date: Apr 04, 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:
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.
Attachments/Links
Contact Information
Contracting Office Address
  • 675 NORTH RANDOLPH STREET
  • ARLINGTON , VA 222032114
  • USA
Primary Point of Contact
Secondary Point of Contact


History

Related Document

Mar 10, 2025[Special Notice (Original)] Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
Apr 2, 2025[Special Notice (Updated)] Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
Daily notification on new contract opportunities

With GovernmentContracts, you can:

  • Find more opportunities and win more business
  • Receive daily alerts for all new bid opportunities
  • Get contract opportunities matched to your business
ONE WEEK FREE TRIAL

See also

...Project: Regional Bike Master Plan Project Implementation - BKT Bikeway Feasibility Study Ref... ...

Niagara Frontier Transportation Authority

Bid Due: 6/16/2026

* Disclaimer: Information regarding bids, requests for proposals (RFPs), or requests for qualifications (RFQs) is provided on this website only for convenience and does not constitute official public notice. Persons wishing to respond to or inquire about bids, RFPs, or RFQs should contact the appropriate government department.