Galois Inc. Wins $21.8M Contract for Advanced Proof Engineering Tools

Galois Inc., Portland, Oregon, has been awarded a $21,799,877 cost-plus-fixed-fee contract for development and demonstration of integrated tools and methodologies for advance proof engineering. Work will be performed in Portland, Oregon, and is expected to be complete Sept. 26, 2027. This award is the result of a competitive acquisition, and 23 offers were received. Fiscal 2023 and 2024 research, development, test and evaluation funds in the amount of $3,094,538 are being obligated at the time of award. The contracting activity is Air Force Research Laboratory/RIKD, Rome, New York (FA8750-24-C-B044).