Galois
Research Services
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.
Is Galois hiring?
Yes. As of November 2, 2026, Galois has 13 open roles on Metaintro.
Open roles
Newest first. Pay shown when the posting lists it.
RoleLocationSetupPayPosted
- Industrial Security Team Lead / Senior Facility Security Officer (FSO)SecurityArlington, Virginia, United States · On-siteArlington, Virginia, United StatesOn-site—Jul 30, 2026
- Principal ScientistScience, Technology, Engineering, and MathArlington, Virginia, United States · HybridArlington, Virginia, United StatesHybrid—Apr 13, 2026
- Principal ScientistScience, Technology, Engineering, and MathBoston, Massachusetts, United States · HybridBoston, Massachusetts, United StatesHybrid—Apr 13, 2026
- Principal ScientistScience, Technology, Engineering, and MathDayton, Ohio, United States · HybridDayton, Ohio, United StatesHybrid—Apr 13, 2026
- Principal ScientistScience, Technology, Engineering, and MathPortland, Oregon, United States · HybridPortland, Oregon, United StatesHybrid—Apr 13, 2026
- Principal ScientistScience, Technology, Engineering, and MathMinneapolis, Minnesota, United States · HybridMinneapolis, Minnesota, United StatesHybrid—Apr 13, 2026
- Principal ScientistArtificial Intelligence/Machine LearningPortland, Oregon, United States · HybridPortland, Oregon, United StatesHybrid—Apr 13, 2026
- Research EngineerDeveloperArlington, Virginia, United States · HybridArlington, Virginia, United StatesHybrid—Jan 5, 2026
Hiring pattern
How fast Galois is adding roles, and how they're set up.
New roles each monthRoles first posted in the month
12
0
0
SeptemberOctoberNovember
How roles are set upShare of open roles
83%
17%
HybridOn-site
AI launches and partners
What Galois has launched and who it works with on AI.
- LaunchAI Benchmarking for Advanced Formal VerificationMetron is an AI benchmarking project for advanced formal verification.
- LaunchLow Power & Energy Efficient ComputationGalois’s areas of expertise include low energy machine learning Systems-on-Chip and edge-compute devices.
- LaunchInfinite Patient TrialsFormal verification and mathematical modeling, combined with machine learning, offer possibilities for replicating medical trials in a virtual setting.
- ResearchAI/ML ResearchersGalois’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
Company facts
- Headquarters
- Portland, US
- Founded
- 1999
- Industry
- Research Services
- Sector (NAICS)
- Professional, Scientific, and Technical Services
- Peer
- The businesses of Merck KGaA, Darmstadt, Germany
- Website
- galois.com
- Careers
- galois.com/careers
Sources: Headquarters and Founded from Wikidata
Roles by location
Where Galois is hiring. Pick a city to see its roles.
Similar companies
Companies in the same industry as Galois that are hiring now.
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.