GALOIS, INC.
Department of Defense · Contract
AI-Readiness Score
10/19
AI / ML Relevance
3/9
Problem Framing
3/5
Awardee Quality
4/5
Award
$16,681,027
Award amount
—
Award date
HR001120C0085
PIID
Awardee
12
Total awards
$83,028,295
Total $ won
11.3/19
Avg AI score
Description
SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE) PROGRAM
Score Rationale
SIEVE is a cryptographic verification program with no explicit AI/ML techniques named in the title or visible scope — this reads as formal methods and security engineering rather than machine learning (score: 3). Problem framing is vague ('encrypted verification') without clear operational context or end-user scenario (score: 3). Galois Inc. is a known formal methods and security research firm, modern in orientation but not AI-native; the company name avoids boilerplate but the contract itself does not signal AI adoption by DoD (score: 4).