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.
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.