Events
News
Hackable Code and the Formal Fix
Ep 84 | 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...
Hackable Code and the Formal Fix
Ep 84 | 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...
Hackable Code and the Formal Fix
Ep 84 | 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...
Communities
Our program managers work closely with partners and stakeholders of all kinds. Together, we create technological surprise for U.S. national security.
DARPA newcomers
With a focus on underrepresented, diverse, and nontraditional performers, DARPAConnect aims to break down barriers of entry.
Industry
From startups to traditional defense contractors, private industry serves a vital role in our mission as research performers and transition partners.
Small businesses
Small businesses exemplify the innovative, entrepreneurial spirit we seek. See how we support the SBIR/STTR journey.
Defense and government
To accelerate adoption, we collaborate with partners across the Department of Defense and federal agencies.
Academia
Much of our research explores fundamental scientific breakthroughs. Explore opportunities tailored for faculty, postdocs, and university labs.
Investors and entrepreneurs
Our Embedded Entrepreneur Initiative seeks the best minds in business to transition our technologies to commercial markets.
Technical Offices
Our six technical offices put DARPA’s mission into action. Their leaders and program managers plan and execute a constantly evolving portfolio of research programs, challenges, and transition activities.
Research process
DARPA pursues research that leads to transformational change rather than incremental advances. It does so collaboratively as part of a robust innovation ecosystem that includes academic, industry, and defense and government partners from diverse disciplines and approaches.
