DARPA

In this episode of Voices from DARPA, we explore the agency's groundbreaking work on revolutionizing software development. At the forefront of this transformation is the use of formal methods-a powerful, mathematical approach that ensures robust security and guarantees the absence of vulnerabilities in software systems.

DARPA, U.S. Army Cyber Command Technical Warfare Center, and Project Manager-Defensive Cyber Operations conducted an operational test and evaluation of a new program that assesses cutting-edge cyber threat detection capabilities as part of the Constellation program.

Two Army Medical Service Corps officers share their experience after being selected for DARPA's Service Chiefs Fellows Program (SCFP). This program immerses military leaders in DARPA's dynamic technological environment and is a rare opportunity for Soldiers to innovate and contribute insights to projects that may transform future defense capabilities.

DARPA's research has identified the need for fundamentally different approaches to advance AI technology to a place where we're willing to trust it and not be foolish to do so. Continuing themes from our mini-series on ELSI - ethical, legal, and societal implications of new technologies and capabilities - we meet with DARPA's ITM program manager, Dr. Patrick Shafto, and the ITM performers and ELSI advisors, who break down how they're tackling the fundamental question of alignment in the context of human decision-makers and autonomous decision-making tools.

DARPA's new 2025 Young Faculty Award (YFA) solicitation seeks individual principal investigator abstracts and proposals across an array of technical areas representing research and development thrusts from multiple DARPA technical offices.

The ability to accurately and rapidly identify key physiological signatures of injury - such as hemorrhage and airway injuries - proved key to success in the DARPA Triage Challenge Event 1. DART took the top spot in the Systems competition, while Coordinated Robotics topped the leaderboard in the Virtual competition and pulled off the win in the Data competition. DARPA-funded and self-funded teams compete side-by-side throughout the DARPA Triage Challenge. Only self-funded teams are eligible for prizes in the challenge events, but they must finish in the top five overall for the Systems competition and top five overall for the Virtual competition. All qualified teams are eligible for prizes in the Final Event. These self-funded teams won between $60,000 - $120,000 each for their first-place finishes.

DARPA announced its new Human-AI Communications for Deontic Reasoning Devops program, or CODORD for short. Deontics, a philosophical term, refers to obligations, permissions, and prohibitions. Devops refers to the combination of software development and IT operations, including development that continues during operations.

CODORD seeks to enable communication of deontic knowledge from humans via natural language (e.g., spoken or written English, French, German, etc.) automatically into a highly expressive logical programming language. If successful, CODORD will vastly reduce the cost and time needed to transfer massive amounts of human-generated knowledge about obligations, permissions, and prohibitions into logical languages that an AI can understand and reason rigorously with to provide decision support.

From DARPA's pioneering work with Other Transactions, to fast-pitch proposals, to the exploration of previously unrealized authorities, hear how the agency is breaking down the barriers of government contracting, providing companies a clearer path to the national security mission.

Building off the success of the program Resilient Anonymous Communication for Everyone (RACE), which recently released its code on GitHub, PWND2 will develop formal models of emergent communication pathways (AKA weird networks) to fundamentally improve the deployment and detection of robust and resilient hidden networks.

DARPA, the Canadian Department of National Defence, and the U.K. Ministry of Defence will collaboratively pursue research, development, test, and evaluation technologies for artificial intelligence (AI), cyber, resilient systems, and information domain-related technologies.

DARPA will host AI BTO Pitch Days on December 5-6, 2024, in the Washington, DC region to select and award AI BTO catalyst projects. To be considered for AI BTO Pitch Day participation, offerors must submit a short white paper consisting of a technical description of the proposer's idea in response to one of the listed focus areas.

DARPA has selected five top technology accelerators from across the nation as DARPA Commercial Accelerators to facilitate rapid commercialization and scale of DARPA-funded technologies.