Galois, Inc.

Galois, Inc., a Portland, Oregon-based for-profit Subchapter S corporation, delivers formal-methods software verification, high-assurance systems engineering, cybersecurity research, and AI/ML development services to defense and civilian federal agencies as a prime contractor (95% of recent awards) under both competitive and small-business set-aside vehicles. The company operates as a small business without an SBA 8(a) or other formal set-aside designation; its small-business posture is primary across SBIR Phase II and Phase III programs and selective small-business set-asides on individual definitive contracts.

Galois's customer base is heavily concentrated in defense R&D, with DARPA as the dominant funding agency by both volume and dollar value. DARPA issued 60 awards representing $327.6 million in combined potential value (29% of the vendor's total award portfolio), followed by the Office of the Secretary of Defense with 8 awards and $256 million (22%), the Department of the Air Force Defense Finance and Accounting Service with 2 awards and $201 million (18%), and NASA Langley Research Center with 3 awards totaling $101.5 million. These top four customer agencies account for 85% of combined potential value across the vendor's recent award footprint. The Navy (Office of Naval Research and Naval Sea Systems Command) represents the next tier with 15 awards and $94.6 million combined. Civilian agencies including the National Institutes of Health, Nuclear Regulatory Commission, Census Bureau, and Department of Energy account for a smaller but material subset of activity—six distinct civilian agencies across 16 total awards, signaling Galois's established presence in non-defense R&D funded through OTA and grant mechanisms.

Galois holds three significant open IDVs: a $249 million Basic Ordering Agreement with the Office of the Secretary of Defense for the Joint Artificial Intelligence Center (JAIC) data readiness, AI development, and enterprise information management, awarded March 11, 2022 and running through March 10, 2027; a multiple-award Other Transaction IDV of $7.8 million with DARPA for the Translating All C to Rust (TRACTOR) project awarded June 11, 2025; and a $3 million multiple-award DARPA research OTA awarded March 18, 2025. Recent prime work includes a $52.8 million DARPA definitive contract for the Continuous-Correctness On Opaque Processors (COOP) program (awarded October 16, 2024, completing June 11, 2026) combining formal methods and side-channel analysis to verify correct software execution on opaque processors; a $13.6 million DARPA cost-plus-fixed-fee contract for the Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) program (awarded March 25, 2024, completing November 24, 2027) integrating formal verification into continuous software development; a $12.5 million Other Transaction Agreement with the National Institutes of Health for the GALOIS - HEALTHYDOCS project (awarded August 12, 2026, completing August 11, 2029) in medical device and biomedical R&D; a $9.99 million NIH OTA for the SAFE-DEV/UPGRADE project in medical device security and autonomous defense (awarded September 24, 2025, completing September 23, 2028); and a $4.6 million DARPA definitive contract for Project Chrysalis (awarded July 18, 2025, completing July 18, 2028) at Wright-Patterson Air Force Base. The portfolio reflects sustained depth in software security, binary analysis, formal verification, and autonomous systems across multiple DARPA technical offices.

Activity has moderated slightly in recent years—15 awards in 2022 declining to 9 in 2025—but the dollar magnitude of recent awards has grown substantially, driven by larger individual DARPA and OSD contracts and the newer JAIC BOA. Nine awards with combined potential value of $126.3 million reach ultimate completion within the next twenty-four months, representing material recompete exposure across DARPA, Air Force, Navy, and NIH programs. The vendor's capability portfolio sits almost entirely in research and development under NAICS 541712 (Research and Development in the Physical, Engineering, and Life Sciences except Nanotechnology and Biotechnology)—64 of 113 classifiable awards—with secondary codes in systems design, custom programming, and legal services reflecting specialized sub-activities. PSC coding predominantly references defense R&D (applied research, basic research, and electronics/communications), with smaller activity in civilian science and energy R&D.

Galois operates as an integrated prime delivery organization; across SCI-reportable service contracts captured in the federal dataset, the vendor reported $878 thousand in invoiced revenue in FY2024 across 1.7 FTEs performing all work directly (0% subcontractor hour-share). Government-paid hourly rates on those contracts ranged from $250.85 per hour at the 10th percentile to $819.23 per hour at the 90th percentile, with a median of $343.80 per hour. This SCI activity is minimal compared to the vendor's broader contract portfolio—a narrow slice of work above the $150,000 reporting threshold that excludes goods, classified contracts, and the majority of the vendor's R&D work. The vendor's subcontractor footprint is sparse: recent sub-award activity names Systems & Technology Research LLC (DARPA PWND2 Stage 2, September 2025), The Johns Hopkins University Applied Physics Laboratory (DARPA research support, January and May 2025), Georgia Tech Applied Research Corp (Air Force Chief Architect Office support, April 2024), Two Six Labs LLC (EMBERS modeling and simulation, February 2024), and Battelle Memorial Institute (microelectronics embedded systems, June 2023)—indicating selective use of specialized teaming partners rather than a subcontractor-dependent delivery model.

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