Harnessing Formal Methods: $12.6 Million Contract for Galois in Multi-State Research Initiative
Galois Inc.,* Portland, Oregon, was awarded a $12,622,799 cost-plus-fixed-fee, cost reimbursement contract for the Continuous-correctness On Opaque Processors (COOP) program. The COOP program seeks to develop hardware and software tools to guarantee that software is running correctly by combining formal methods and side-channels. Work will be performed in Dayton, Ohio (31%); Portland, Oregon (28%); Tempe, Arizona (10%); Columbus, Ohio (8%); Exton, Pennsylvania (5%); Irvine, California (5%); Cambridge, Massachusetts (4%); San Francisco, California (4%); Brooklyn, New York (3%); and Pittsburgh, Pennsylvania (2%), with an expected completion date of April 2026. Fiscal 2024 research, development, test and evaluation funds in the amount of $6,667,608 are being obligated at time of award. This contract is a competitive acquisition in which eight proposals were received in response to Broad Agency Announcement HR001124S0016. Defense Advanced Research Projects Agency, Arlington, Virginia, is the contracting activity (HR001125C0300).