DARPA High-Assurance AI Machine Learning and Automated Reasoning Systems - DARPA-PA-25-07-02 | G2X

DARPA High-Assurance AI Machine Learning and Automated Reasoning Systems - DARPA-PA-25-07-02 | G2X

NAICS Code

541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

Code: 541715

Open opportunities

Title	Agency	Deadline
Chip-S1 Basic Research Kits, Compound Distribution Kits, and MPS Consumables	FOOD AND DRUG ADMINISTRATION	Jun 12, 2026
Special Topic: Predictive Sustainment, Real-Time Data	DEPT OF THE ARMY	Jun 12, 2026
RFI: Levels of Resilience through Formal Methods	DEPARTMENTAL OFFICES	Jun 12, 2026
Request for Project Proposals: New Approach Methodologies (NAMs)	DEPT OF THE ARMY	Jun 12, 2026
Type 4 Subscale Missionization/ Launch Execution Support and Additional Direct Labor Hours to Support Engineering Services Combined Sources Sought/Notice of Intent to Sole Source	MISSILE DEFENSE AGENCY (MDA)	Jun 12, 2026

Recent awards

Recipient	Agency	Value	Date
V2 FORENSICS CORPORATION	TRANSPORTATION SECURITY ADMINISTRATION	$80K	Jun 8, 2026
UHV3D, INC.	NATIONAL AERONAUTICS AND SPACE ADMINISTRATION	$156.5K	Jun 8, 2026
ENERGIZED COMPOSITE TECHNOLOGIES LLC	NATIONAL AERONAUTICS AND SPACE ADMINISTRATION