Provably weird network deployment and detection (PWND2) stage 2.

Active Definitive Contract Awarded Last action

Contract number
HR001125CE018
Awardee
Awarding agency
Obligated
$3,580,000

Award facts

Opportunity
Contract value 69% obligated
$5,164,534.00 Current and potential, with all options
Completion date 62% complete
Current and potential, with all options
Contracting staff
Set-aside
No set-aside
Competition
Full and Open Competition · 28 offers Basic Research
Pricing
Cost Plus Fixed Fee
Place of performance
Woburn, MA 01801, USA
Legislative mandates

Award details come from SAM.gov/FPDS.

Transactions

Action Obligated Date
Other Administrative Action P00006 $535,000
Funding Only Action P00005 $488,000
Funding Only Action P00004 $1,462,000
Funding Only Action P00003 $55,000
Supplemental Agreement for work within scope P00002 $0
Original award $1,040,000

About this award

The Defense Advanced Research Projects Agency awarded a definitive contract to Systems & Technology Research LLC for Provably Weird Network Deployment and Detection (PWND2) Stage 2 research on August 1, 2025, with a ceiling value of $5,164,534 and an ultimate completion date of July 31, 2027.

The originating solicitation, posted September 19, 2024, with a due date of November 5, 2024, called for development of formal models of emergent communication pathways to improve deployment and detection of robust and resilient hidden networks. The program operates under a two-stage submission and two-step award process, utilizing a 30-month period of performance beginning in February 2025. Work is performed at the contractor's facility in Woburn, MA 01801. The contract is priced as cost-plus-fixed-fee with no set-aside restrictions.

Galois, Inc. supports the prime on formal-methods research and analysis-tool development to enable reasoning over underlay and wide-area-network interactions using a domain-specific language. Cornell University's Office of Sponsored Programs provides technical support for converting HCS representations into DSL format. This effort falls under DARPA's research portfolio in defense applied research and exploratory development, reflecting the agency's focus on formal verification and emergent network theory for hidden-communication systems.

Subawards

Subcontractor Amount Awarded
Galois, Inc. PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) STAGE 2. Research and develop a set of analysis tools that shall enable reasoning over the… $1,993,825
Cornell University PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) STAGE 2. Support STR & Galois in implementing software to convert HCS representations into a DSL… $400,000

Quick answers

Who was awarded contract HR001125CE018?

HR001125CE018 was awarded to Systems & Technology Research LLC by Defense Advanced Research Projects Agency (Department of Defense) on August 1, 2025.

How much is contract HR001125CE018 worth?

The government has obligated $3,580,000 on HR001125CE018. Its current value, with exercised options, is $5,164,534.

Was contract HR001125CE018 competed?

The extent of competition for HR001125CE018 was full and open competition. The government received 28 offers.

On GovTribe

See this award's full record

  • Every transaction and funding action
  • The awardee's other awards and teaming partners
  • Similar awards and recompete opportunities
  • Ask GovTribe AI about this award