Galois, Inc.

Research Institute Information Technology & Software

Overview

Galois, Inc. is a research-focused company specializing in formal methods, cybersecurity, and advanced computing. The company collaborates with government agencies, academia, and industry partners to develop high-assurance software and hardware systems for critical applications.

Key Information

Central Office: Portland, OR, USA
Founded: 1999

Links

Website Careers portal

Latest Jobs

Research Engineer

🇺🇸

Arlington, VA | Dayton, OH, USA | Minneapolis, MN, USA | Portland, OR, USA | Boston, MA, USA

Research Engineer advancing programming language theory and formal verification. Applying model checking, theorem proving, and Haskell to build high-assurance critical systems.

Haskell

Verified Aug 12, 2026 View listing

Past Jobs

EXPIRED

Research Engineer

🇺🇸

Portland, OR, USA, Arlington, VA, USA, Dayton, OH, USA, Minneapolis, MN, USA

The role entails verifying safety-critical systems using formal methods. Requires strong PL theory background, functional programming skills, and software engineering experience. Secret clearance eligibility needed; hybrid work in multiple U.S. locations.

Haskell

First seen Feb 27, 2025 Last seen Dec 17, 2025

EXPIRED

Systems/Hardware Formal Verification Research Engineer

🇺🇸

Portland, OR, USA, Arlington, VA, USA, Dayton, OH, USA, Minneapolis, MN, USA

Haskell

First seen Feb 27, 2025 Last seen Jul 17, 2025