Galois, Inc.

Galois, Inc. is a for-profit subchapter S corporation headquartered in Portland, Oregon, that has been registered to receive federal awards since January 2002. The company specializes in advanced research and development services focused on high-assurance systems, cybersecurity, artificial intelligence, formal verification, and secure hardware design. Galois serves as a key technology partner for the Department of Defense and other federal agencies, delivering innovative solutions that address complex national security challenges through cutting-edge research initiatives across defense and civilian technology domains.

Through its federal contract awards, Galois has provided comprehensive research and development services across multiple defense and civilian agencies. The company has secured numerous definitive contracts with the Defense Advanced Research Projects Agency (DARPA) totaling tens of millions of dollars, including major programs such as the Continuous-Correctness On Opaque Processors (COOP) program ($52.8 million), Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) program ($14.4 million), Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) program ($21.8 million), and Data Protection in Virtual Environments (DPRIVE) program ($16.6 million). Galois has also received significant contracts from the U.S. Air Force, including Project Chrysalis ($4.6 million) and participation in the Air Force Research Laboratory's various initiatives focused on autonomous systems and binary analysis. The company has performed work for the Office of Naval Research through multiple Small Business Innovation Research (SBIR) Program Phase II and Phase III contracts valued in the millions of dollars, developing capabilities in areas such as binary analysis, cybersecurity, and autonomous systems. Additionally, Galois received a $9.987 million Other Transaction Agreement from the National Institutes of Health for the Safe Automation for Enhancing Medical Device Security (SAFE-DEV) project, demonstrating its capability to support civilian health technology initiatives. The company has also worked with the U.S. Census Bureau on disclosure avoidance research ($3.254 million), the Nuclear Regulatory Commission on digital reactor protection systems assessments and Correct by Construction methodology development (totaling approximately $1.36 million), and NASA on fault recovery instruction generation ($749,999). Many of Galois' contracts have utilized small business set-asides, reflecting its status as a qualified small business, while others have been awarded without set-aside designations, indicating competitive selection based on technical merit. The company has also served as a subcontractor for prime contractors including Johns Hopkins University Applied Physics Laboratory, Georgia Tech Applied Research Corp, Battelle Memorial Institute, and Two Six Labs on defense and microelectronics research initiatives.

Galois has secured federal grant awards demonstrating its expertise in specialized research domains. The company received a Project Grant from the Office of Naval Research for "Analysis of Residual Binary Salience" (ARBS), awarded in August 2022 with an ultimate completion date of January 31, 2025, supporting research in binary analysis and related cybersecurity applications. Additionally, Galois was awarded a $249,945 Project Grant from the Department of Energy Office of Science in February 2022 for the development of TRIFECTA, a utility-and-privacy-preserving platform for secure public data release, which aimed to enable the release of sensitive datasets to the public while preserving data utility and individual privacy. These grant awards reflect federal recognition of Galois' technical capabilities in specialized research areas that advance national security and civilian government objectives.

Galois maintains substantial Indefinite Delivery Vehicle (IDV) contracts that provide ongoing research and development capabilities across federal agencies. The company holds a $200 million SBIR Phase III Indefinite Delivery/Indefinite Quantity contract with the U.S. Air Force for the Automated Detection Inference and Deceptive Response for Unmanned Systems (ADIDRUS) project, from which multiple task orders have been issued, including a $963,905 delivery order and a $59.6 million task order for continued research through March 2026. Galois maintains a $15 million Basic Ordering Agreement with the Office of the Secretary of Defense supporting the Joint Artificial Intelligence Center (JAIC) for data readiness artificial intelligence development, offering services including project management, data science, data engineering, data architecture, synthetic data generation, software development, and enterprise information management through March 2027. The company also holds a $7.8 million Other Transaction IDV awarded by DARPA in June 2025 for the Translating All C to Rust (TRACTOR) project, focused on converting legacy C-language code to Rust to eliminate memory safety vulnerabilities in defense systems. Additionally, Galois was awarded a $1.5 million Other Transaction IDV by DARPA in March 2025 for general research and development project support. These IDVs enable federal agencies to rapidly acquire specialized technical services from Galois through streamlined task order procedures, leveraging the company's demonstrated expertise in formal verification, software security, binary analysis, and advanced systems engineering to support critical Department of Defense and civilian government initiatives.

Contract development of high confidence software for information assurance applications. Expertise in architecture, modeling, design and implementation. Also domain specific languages and cryptography.