---
title: "Galois"
canonical: "https://www.metaintro.com/company/galois"
language: "en"
industry: "Research Services"
headquarters: "Portland, US"
website: "https://www.galois.com/"
open_roles: 13
---

# Galois

For more than 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.

## Open roles

- [Industrial Security Team Lead / Senior Facility Security Officer (FSO)](https://www.metaintro.com/job/industrial-security-team-lead-senior-facility-security-officer-fso-at-93c14949-3503-589d-9e7b-17f36d7dd6ad) — Arlington, Virginia, United States, On-site
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-7df25295-c2ba-561b-97ce-b80246130cb7) — Arlington, Virginia, United States, Hybrid
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-458aba9a-6c31-5c68-81c8-cd5fe43760cb) — Boston, Massachusetts, United States, Hybrid
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-410063c9-9d99-52ea-b07f-318c3ac7802b) — Dayton, Ohio, United States, Hybrid
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-1da86d43-247d-5958-8129-fb0eb4fb14ca) — Portland, Oregon, United States, Hybrid
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-0c63dc5c-26b2-55df-a4b3-e112c2c88101) — Minneapolis, Minnesota, United States, Hybrid
- [Principal Scientist](https://www.metaintro.com/job/principal-scientist-at-galois-7a404dcd-db22-598b-8e17-8835c21d4f07) — Portland, Oregon, United States, Hybrid
- [Research Engineer](https://www.metaintro.com/job/research-engineer-at-galois-bc2f1680-cba0-5203-8ac6-32fc548535d4) — Arlington, Virginia, United States, Hybrid

[View all 13 roles](https://www.metaintro.com/company/galois/jobs/all)

## AI launches and partners

What Galois has launched and who it works with on AI.

- **AI Benchmarking for Advanced Formal Verification** (Launch): Metron is an AI benchmarking project for advanced formal verification.
- **Low Power & Energy Efficient Computation** (Launch): Galois’s areas of expertise include low energy machine learning Systems-on-Chip and edge-compute devices.
- **Infinite Patient Trials** (Launch): Formal verification and mathematical modeling, combined with machine learning, offer possibilities for replicating medical trials in a virtual setting.
- **AI/ML Researchers** (Research): Galois’s team of AI/ML researchers are actively exploring integrating high-assurance formal methods into machine learning-driven healthcare solutions.

## Skills they ask for

Most frequent across open postings.

### Most requested skills

- Formal verification
- Theorem proving
- Mentorship
- Static analysis
- Grant management
- Technical writing
- Formal methods
- Model checking
- Haskell
- Software engineering
- Executable specifications

### Tech stack

- **Analytics:** Google Analytics 4, Google Tag Manager
- **CDN:** Amazon CloudFront, jsDelivr
- **Libraries:** jQuery, GSAP, Swiper

## Similar companies

Companies in the same industry as Galois that are hiring now.

- [The businesses of Merck KGaA, Darmstadt, Germany](https://www.metaintro.com/company/the-businesses-of-merck-kgaa-darmstadt-germany) — 1,605 open roles
- [Parexel](https://www.metaintro.com/company/parexel) — 1,194 open roles
- [ICON](https://www.metaintro.com/company/icon) — 931 open roles
- [Medpace, Inc.](https://www.metaintro.com/company/medpace-inc) — 802 open roles
- [Fortrea](https://www.metaintro.com/company/fortrea) — 764 open roles
- [Syneos Health](https://www.metaintro.com/company/syneos-health) — 718 open roles
- [Anthropic](https://www.metaintro.com/company/anthropic) — 674 open roles

## Questions about Galois

### Is Galois hiring?

Yes. As of November 2, 2026, Galois has 13 open roles on Metaintro. The most are in Developer (6), Science, Technology, Engineering, and Math (5), and Artificial Intelligence/Machine Learning (1).

### Where is Galois hiring?

Galois is hiring in Portland, Arlington, Boston, Dayton, and Minneapolis, with the most open roles in Portland.

### Does Galois offer remote or hybrid work?

83% of open roles are hybrid and 0% are remote.

### What skills does Galois look for?

Its open roles most often ask for Formal verification, Theorem proving, Mentorship, Static analysis, and Grant management.