Notice ID:Ā DARPA-SN-25-55
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.
DARPA is requesting high-level information on DoD systems that would benefit from the use of formal methods as described above. Please see Appendix A for further details. Responses are welcome from all capable sources including, but not limited to, private or public companies, individuals, universities, university-affiliated research centers, not-for-profit research institutions, and U.S. Government-sponsored labs. Note that DARPA assumes that feedback through standard scientific discourse, including direct communication with the corresponding authors or through additional manuscripts, will proceed as usual and views this RFI as in addition to that discourse.
Not Yet a Premium Partner/Sponsor? Learn more about the OS AI Premium Corporate and Individual Plans here. Plans start at $295 annually.