GALOIS, INC.

Galois, Inc. specializes in high-assurance software and systems engineering, leveraging formal methods, verification techniques, and cutting-edge research to ensure correctness in safety-critical and mission-critical systems. Their core capabilities include developing tools for rigorous software verification, generating and analyzing Software Bill of Materials (SBOMs), applying generative AI to digital engineering workflows, and constructing correct-by-construction systems for autonomous and cyber-physical domains. They excel in integrating formal verification with side-channel analysis, enabling guarantees of software behavior on opaque hardware platforms, and advancing robust, energy-informed autonomy frameworks. Their work spans secure-by-design architectures, verification engineering for real-world developers, and performance-based safety assurance grounded in mathematical rigor—setting them apart as a leader in trustworthy systems for high-consequence environments. Galois primarily serves the Department of Defense, delivering advanced R&D in software assurance, hardware-software co-verification, and AI-enhanced engineering for defense systems. They also support the Nuclear Regulatory Commission with systems engineering approaches for digital reactor protection and outcome-oriented safety assurance, demonstrating deep expertise in nuclear safety-critical systems. Their engagement with these agencies reflects a pattern of long-term, mission-aligned partnerships centered on foundational research and high-integrity system development. Their primary focus is in Research and Development in the Physical, Engineering, and Life Sciences, where they translate theoretical computer science into operational tools for defense and regulatory applications. They also provide specialized technical consulting in systems engineering and safety assurance, positioning them as a niche provider for government programs requiring provable correctness and mathematical rigor over conventional testing. Galois, Inc. is a small business based in Portland, Oregon, operating as a 2L entity with no federal certifications. They maintain a focused presence in the federal R&D market, serving agencies that prioritize scientific innovation and verifiable system integrity over commercial off-the-shelf solutions.