GALOIS, INC. — $12.62M Contract from Department of Defense
Contract ID: HR001125C0300
Award Value
$12.62M
Award Date
October 16, 2024
Agency
Department of Defense
Office
Defense Advanced Research Projects Agency
NAICS
541715 — RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)
PSC Code
AC13
Contract Type
DEFINITIVE CONTRACT
Place of Performance
OR
Period Start
October 16, 2024
Period End
April 16, 2026
Contract Scope
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.
Other federal contracts won by GALOIS, INC.
- Nuclear Regulatory Commission$292KSeptember 30, 2024 · 31310024C0032
- Nuclear Regulatory Commission$339KJune 27, 2024 · 31310024C0011
- Department of Defense$9.81MMarch 25, 2024 · FA875024CB044
- General Services Administration$33.29MApril 1, 2022 · 47QFLA22F0068
- Department of Defense$81KJune 1, 2021 · N6600121C4023
Similar contracts in Department of Defense · 541715
- UTAH STATE UNIVERSITY SPACE DYNAMICS LABORATORY$37KSeptember 29, 2032 · FA945323F0006
- CONCURRENT TECHNOLOGIES CORP$6.73MDecember 4, 2030 · FA239426CB003
- AZIMUTH CORPORATION$15.67MOctober 29, 2027 · FA865022F5408
- AZIMUTH CORPORATION$19.95MOctober 29, 2027 · FA865022F5409
- CANYON CONSULTING, LLC$580KOctober 4, 2027 · FA945322C0011
Tracking opportunities like this?
FedTend scores any federal solicitation for bid viability in 60 seconds — with real incumbent intelligence and historical award data behind every analysis.
Try the free RFP ScorerNo signup required for the free scorer
Data sourced from USASpending.gov public federal award records. Last updated May 31, 2026.