Galois
galois.com
Actively hiring
Information Security
Custom Software Development
As featured in
View 1 job
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
Funding and backers
Team
118
US Form 5500 (plan participants) · Dec 2025 · -1% in a year
Hiring now
3
open roles
Grants
$32.4M
34 grants · CORDIS
Momentum
25/100
a new city, in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Oct 29, 2025
Won a grant $1.4M · CORDIS
Sep 17, 2025
On the Hacker News front page Claude can sometimes prove it · 219 points
May 29, 2025
On the Hacker News front page What works (and doesn't) selling formal methods · 144 points
Mar 20, 2025
On the Hacker News front page Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code · 116 points
Mar 13, 2025
Won a grant $2M · CORDIS
Apr 2, 2024
Won a grant $899k · CORDIS
Apr 1, 2024
Won a grant $180k · CORDIS
Dec 4, 2023
Won a grant $140k · CORDIS
Aug 22, 2023
Won a grant $1.8M · CORDIS
Aug 11, 2023
Won a grant $1.8M · CORDIS
Jul 31, 2023
Won a grant $1.8M · CORDIS
Jun 29, 2023
Won a grant $1.8M · CORDIS
Mar 30, 2023
Won a grant $1.5M · CORDIS
Mar 24, 2023
Won a grant $1.2M · CORDIS
Sep 1, 2022
Won a grant $250k · CORDIS
Jul 11, 2022
Won a grant $240k · CORDIS
Jun 7, 2022
Won a grant $2M · CORDIS
Jun 1, 2022
Won a grant $225k · CORDIS
Feb 14, 2022
Won a grant $250k · CORDIS
Jan 19, 2022
Won a grant $1000k · CORDIS
Jan 18, 2022
Won a grant $995k · CORDIS
Jan 7, 2022
Won a grant $1.7M · CORDIS
Dec 17, 2021
Won a grant $1.5M · CORDIS
Jul 13, 2021
Won a grant $225k · CORDIS
Jun 7, 2021
Won a grant $240k · CORDIS
Feb 25, 2021
On the Hacker News front page Proofs Should Repair Themselves · 115 points
Feb 5, 2021
Won a grant $50k · CORDIS
Feb 4, 2021
Won a grant $50k · CORDIS
May 20, 2019
Won a grant $3.8M · CORDIS
Mar 6, 2019
Won a grant $50k · CORDIS
Sep 17, 2018
Won a grant $1.5M · CORDIS
Aug 14, 2017
Won a grant $1000k · CORDIS
Mar 6, 2017
Won a grant $750k · CORDIS
Jan 13, 2017
Won a grant $150k · CORDIS
Sep 26, 2016
Won a grant $750k · CORDIS
Jul 11, 2016
Won a grant $150k · CORDIS
Jan 13, 2016
Won a grant $750k · CORDIS
Nov 2, 2015
Won a grant $150k · CORDIS
Sep 16, 2013
On the Hacker News front page Fast and formally verified C implementation of Base64 · 106 points
Tractionpublic signals, read monthly
Web presence
top 0.02%
of 133.2M domains by links, Common Crawl
Hacker News stories
116
best: 219 points
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Grant | Oct 2025 | $1.4M | — | CORDIS |
| Grant | Mar 2025 | $2M | — | CORDIS |
| Grant | Apr 2024 | $899k | — | CORDIS |
| Grant | Apr 2024 | $180k | — | CORDIS |
| Grant | Dec 2023 | $140k | — | CORDIS |
| Grant | Aug 2023 | $1.8M | — | CORDIS |
| Grant | Aug 2023 | $1.8M | — | CORDIS |
| Grant | Jul 2023 | $1.8M | — | CORDIS |
| Grant | Jun 2023 | $1.8M | — | CORDIS |
| Grant | Mar 2023 | $1.5M | — | CORDIS |
| Grant | Mar 2023 | $1.2M | — | CORDIS |
| Grant | Sep 2022 | $250k | — | CORDIS |
| Grant | Jul 2022 | $240k | — | CORDIS |
| Grant | Jun 2022 | $2M | — | CORDIS |
| Grant | Jun 2022 | $225k | — | CORDIS |
| Grant | Feb 2022 | $250k | — | CORDIS |
| Grant | Jan 2022 | $1000k | — | CORDIS |
| Grant | Jan 2022 | $995k | — | CORDIS |
| Grant | Jan 2022 | $1.7M | — | CORDIS |
| Grant | Dec 2021 | $1.5M | — | CORDIS |
| Grant | Jul 2021 | $225k | — | CORDIS |
| Grant | Jun 2021 | $240k | — | CORDIS |
| Grant | Feb 2021 | $50k | — | CORDIS |
| Grant | Feb 2021 | $50k | — | CORDIS |
| Grant | May 2019 | $3.8M | — | CORDIS |
| Grant | Mar 2019 | $50k | — | CORDIS |
| Grant | Sep 2018 | $1.5M | — | CORDIS |
| Grant | Aug 2017 | $1000k | — | CORDIS |
| Grant | Mar 2017 | $750k | — | CORDIS |
| Grant | Jan 2017 | $150k | — | CORDIS |
| Grant | Sep 2016 | $750k | — | CORDIS |
| Grant | Jul 2016 | $150k | — | CORDIS |
| Grant | Jan 2016 | $750k | — | CORDIS |
| Grant | Nov 2015 | $150k | — | CORDIS |
Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Eviden is the Atos business line created in 2023 to group the company's digital, cloud, big data and cybersecurity activities. It builds…
IT Novation is an accredited Russian IT company specialising in information security projects of any complexity. For more than 17 years it…
At Hamiltonian Dynamics, we design, build and deploy mission critical software that meets your business needs.
Citadel AI builds products to test and monitor high-risk AI systems. Our mission is to make the world's AI systems more reliable and…
Mission critical technology solutions and services for a safe and secure Australia.
Abarus IT is an accredited Russian IT company that has worked since 2017 and develops its own IT solutions and infrastructure, including…
How Galois hires
Truth index
B 83/100
Ghost roles
0%
Stale roles
67%
Reposted roles
0%
Galois scores B on the Alion truth index (A is best, E worst), measured over 3 open roles re-checked against its own hiring board: 0% look like ghost listings, 67% have gone stale and 0% are the same role posted again. It measures how much of what this employer publishes turns into a real, finite search - not the employer as a workplace. How the index is computed
News
Arti 2.5.0 released: Stable Counter Galois Onion Tor Project
Arti 2.5.0 is released and ready for download.
Read more
Report
Third SAIR competition: inverse Galois challenge
I am happy to announce the third SAIR challenge, which is focused on obtaining numerical data for the infamous inverse Galois problem. This is a collaborative project with the L-functions and modul…
Read more
Report
Tor switches to new Counter Galois Onion relay encryption algorithm
Tor has announced improved encryption and security for the circuit traffic by replacing the old tor1 relay encryptionalgorithm with a new design called Counter Galois Onion (CGO).
Read more
Report
Counter Galois Onion: Improved encryption for Tor circuit traffic Tor Project
Tor is upgrading its relay encryption algorithm for improved security. In upcoming releases, Arti and Tor will both support a new encryption algorithm called Counter Galois Onion (CGO). CGO prevents attackers from tampering with encrypted traffic, adds fo
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Galois over the last 12 months, by layer, with the share of postings for each.
Technologies in use
9
Postings analysed
3
Stack modernity
59/100
Languages
Bluespec
Chisel
Haskell
SystemVerilog
Cloud & platforms
AWS
Sign in to see how your skills match this stack
Sign In
Full Galois tech stack
9 technologies · by team · pay by technology · changes · similar stacks
Growth
Hiring Momentum
61/100
Growing
Open positions
3
0 opened / 0 closed in 30 days
ATS activity
Every ~6 hours
Today
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Management
100% ▼
Activity Timeline
New location: Dayton
Oct 2026
New location: Boston
Oct 2026
New location: Minneapolis
Oct 2026
New location: Arlington
Oct 2026
Added Machine Learning to stack
Sep 2026
Offices
Where the company hires and what each office is for
Cities
6
Hiring now
6
Countries
1
Busiest office
Portland
Loading the map
Headquarters
Builds here
Office with open vacancies
Tap a pin for the office
Portland
United States
HQ
OUR CORE PRINCIPLES
2 open roles 100% engineering 10-50 est. staff
hires for Hardware, Science & Research
Minneapolis
United States
2 open roles 100% engineering 10-50 est. staff
hires for Hardware, Science & Research
Boston
United States
2 open roles 100% engineering 10-50 est. staff
hires for Hardware, Science & Research
Dayton
United States
2 open roles 100% engineering 10-50 est. staff
hires for Hardware, Science & Research
Arlington
United States
2 open roles 100% engineering 10-50 est. staff
hires for Hardware, Science & Research
Arlington
United States
1 open roles 1 posted in 90 days 10-50 est. staff
hires for Management
Jobs
≈ $98k – $223k per year (Estimated) • Equity • Hybrid • Full-Time • Portland • Minneapolis • Boston • Dayton • Arlington
Verilog
Haskell
SystemVerilog
VHDL
Chisel
Bluespec
AWS
Chips/EDA
Formal Verification
Apply
Financials
Total raised
$32.4M
Latest round
Grant
Funding rounds
34
Funding rounds
| Round | Announced | Amount | |
|---|---|---|---|
| Grant | 2025 | $1.4M | Details |
| Grant | 2025 | $2M | Details |
| Grant | 2024 | $899k | Details |
| Grant | 2024 | $180k | Details |
| Grant | 2023 | $140k | Details |
| Grant | 2023 | $1.8M | Details |
| Grant | 2023 | $1.8M | Details |
| Grant | 2023 | $1.8M | Details |
| Grant | 2023 | $1.8M | Details |
| Grant | 2023 | $1.5M | Details |
| Grant | 2023 | $1.2M | Details |
| Grant | 2022 | $250k | Details |
| Grant | 2022 | $240k | Details |
| Grant | 2022 | $2M | Details |
| Grant | 2022 | $225k | Details |
| Grant | 2022 | $250k | Details |
| Grant | 2022 | $1000k | Details |
| Grant | 2022 | $995k | Details |
| Grant | 2022 | $1.7M | Details |
| Grant | 2021 | $1.5M | Details |
| Grant | 2021 | $225k | Details |
| Grant | 2021 | $240k | Details |
| Grant | 2021 | $50k | Details |
| Grant | 2021 | $50k | Details |
| Grant | 2019 | $3.8M | Details |
| Grant | 2019 | $50k | Details |
| Grant | 2018 | $1.5M | Details |
| Grant | 2017 | $1000k | Details |
| Grant | 2017 | $750k | Details |
| Grant | 2017 | $150k | Details |
| Grant | 2016 | $750k | Details |
| Grant | 2016 | $150k | Details |
| Grant | 2016 | $750k | Details |
| Grant | 2015 | $150k | Details |