Galois
As of 1 November 2026, Galois has 3 open roles (0 new in 30 days), its facilities cleaning and security team is hiring most, and its postings name Chisel, Haskell and SysML as the tools the team works in.
As of 1 November 2026 · refreshed daily · counts move as websites, DNS and career sites are re-read.
- Headquarters
- Portland, Oregon, United States
- Employees
- 51-200 employees (linkedin)
- Sells to
- aerospace and defense, automotive, fintech
- Certifications on site
- Site languages
- EN
- Career system
- Workable
Galois in one screen
Read from galois.com: what the company does, the customers it names, the buyers we can actually see, and the companies that sell the same thing.
Galois is a research and development company that provides formal methods, cryptography, and rigorous digital engineering for critical systems. Its offerings include high-assurance solutions and tools such as C2Rust, SIEVE, ESSENCE, and LAGOON, serving aerospace and defense, fintech, healthcare, semiconductors, and enterprise IT. It works with government and defense agencies including DARPA, NASA, and the U.S. Department of Defense.
Named on the site: aerospace and defense, automotive, fintech, healthcare, semiconductors.
Nearest companies by what they do, sell and whom they serve, 51+ employees. 600 scored.
What Galois says it runs
Tools named in the company's own postings as the team's systems, with the sentence that says so. What the website and DNS show is listed separately.
• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.• Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.• Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.• Ability to manage and maintain compliance with the industrial security program for Special Access Programs (SAP) and Sensitive Compartmented Information Facilities (SCIF)) as needed including preparing and maintaining accreditation documeVendors whose code loads on galois.com or whose records sit in its DNS. Page plumbing (libraries, fonts, consent banners) is left out.
3 open roles, 0 opened in 90 days
Read hourly from the company's career system. Open roles and new roles in the last 30 days, by team. Companies hiring facilities cleaning and security in United States →
| open · new 30 d | |
|---|---|
| Facilities cleaning and security | 1 · 0 |
| Research and science | 1 · 0 |
What is changing, read from the postings
Intents are events the employer states about itself, each with the sentence and the posting it came from.
No change signals read in the current postings.
Sales, marketing and IT leaders by function. Add Galois to a monitor and get a webhook when a role opens, a tool appears or a signal is read.
Start free, no card. The first 20 are above; e-mails are verified at the mail server when you open them.
Companies like Galois
Nearest by what they do, what they sell and whom they sell to, 51+ employees. 6 of 600 scored.
From the company's own website
Quote the sentence with the date and the link. The numbers change daily; the link always shows the current ones.
Galois (Portland, United States, 51-200 employees) has 3 open roles, 0 new in 30 days, and names 7 tools in its postings. (Breaknorm, 1 November 2026, https://breaknorm.co/company/galois.com)
Read from the source, not self-reported
Every number on this page can be traced to a page we crawled or a posting we read. Full methodology →
- ProfileBuilt from galois.com: summary, offerings, customers, certifications and contact points are extracted from its pages, with a confidence score per field.
- HiringRead hourly from the company's Workable career site; reposts collapse into one record.
- Tech stackTools the employer's own text names as the team's systems, with the quote; website scripts counted separately.
- HeadcountLinkedIn where known, otherwise estimated from the site.
Galois: questions
Does Galois use Chisel?
Yes, by the company's own words: 1 posting name it, first seen 2026-01-05, in the team.
Is Galois hiring?
3 open roles as of 1 November 2026, 0 opened in the last 30 days and 0 closed. The largest team hiring is facilities cleaning and security.
Where does this profile come from?
From galois.com itself: we crawled it on 2026-09-09, built the profile on 2026-09-12, and read its career site (Workable) hourly since. Headcount is from LinkedIn.
Who should I write to at Galois?
The people are behind the login: decision makers by function, verified at the mail server when you open them. 1 public role addresses from the site are there too.
Get this company your way
The same data as a search, over MCP and the API, as bulk files, or pushed to you as it changes.
Galois and 41.5M more,
read from the source
Look up any company by domain, with its hiring, stack and signals. Start free, no card.