DARPA #DARPA-SN-27-13

DARPA FastVacc RFI on Formal Methods, LLMs, Networking, and Systems

DARPA is seeking information on research topics through its FastVacc RFI. - Government buyer: Defense Advanced Research Projects Agency (DARPA), Information Processing Techniques Office. - Research topics: Formal Methods, Large Language Models (LLMs), Networking, and Systems. - Procurement scope: No specific products, services, quantities, or detailed requirements are provided. - OEMs and vendors: None named.

Description

The notice identifies research topics of Formal Methods, Large Language Models (LLMs), Networking, and Systems. It lists the Information Processing Techniques Office as the agency office. The response deadline is 2026-11-13. No further procurement scope or requirements are provided in the source.

View original listing