Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
| Location: | Federal |
|---|---|
| Posted: | Apr 2, 2025 |
| Due: | Apr 10, 2025 |
| Agency: | DEPT OF DEFENSE |
| Type of Government: | Federal |
| Category: |
|
| Solicitation No: | DARPA-SN-25-55 |
| Publication URL: | To access bid details, please log in. |
Follow
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
Classification
Description
Contact Information View Changes
History
- 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
- 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:
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.
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
Contracting Office Address
- 675 NORTH RANDOLPH STREET
- ARLINGTON , VA 222032114
- USA
Primary Point of Contact
- BAA Coordinator
- DARPA-SN-25-55@darpa.mil
Secondary Point of Contact
- Apr 02, 2025 09:41 am EDTSpecial Notice (Updated)
- Mar 17, 2025 01:38 pm EDT Special Notice (Updated)
- Mar 10, 2025 07:31 am EDT Special Notice (Original)
Related Document
| Mar 10, 2025 | [Special Notice (Original)] Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems |
| Mar 17, 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
See also
Follow 66--PITOT-STATIC TUBE Active Contract Opportunity Notice ID SPE4A526T426D Related Notice Department/Ind. Agency
DEPT OF DEFENSE
Bid Due: 9/23/2026
Follow HOUSING,MECHANICAL Active Contract Opportunity Notice ID N0038326QSC28 Related Notice Department/Ind. Agency DEPT
DEPT OF DEFENSE
Bid Due: 10/15/2026
Follow 53--COVER,ACCESS Active Contract Opportunity Notice ID SPE7L126T12N6 Related Notice Department/Ind. Agency DEPT
DEPT OF DEFENSE
Bid Due: 9/28/2026
Follow 48--VALVE,REGULATING,FL Active Contract Opportunity Notice ID SPE7MC26T274Y Related Notice Department/Ind. Agency DEPT
DEPT OF DEFENSE
Bid Due: 9/28/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.