GALOIS, INC.
Department of Defense · Contract
AI-Readiness Score
10/19
AI / ML Relevance
2/9
Problem Framing
4/5
Awardee Quality
4/5
Award
$12,622,799
Award amount
—
Award date
HR001125C0300
PIID
Awardee
12
Total awards
$83,028,295
Total $ won
11.3/19
Avg AI score
Description
THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS.
Score Rationale
COOP is fundamentally about formal verification and side-channel analysis — computer science and security engineering, not AI/ML. The award uses no language suggesting machine learning, neural networks, autonomous systems, or statistical inference; 'formal methods' is the opposite of the learned/adaptive paradigm that defines modern AI work. Problem framing is solid (software correctness on untrusted processors is a real, specific DoD concern), but the awardee Galois Inc. is a well-known formal methods research firm rather than an AI startup, limiting the signal value for AI-native defense procurement trends.