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

Latest Jobs

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.

Verified: 2025-10-23
Haskell