Skip to content
Company
Find jobs
Tailor a résumé
Practice an interview
Pricing
Free Resume Checker
Blog
Sign in
Sign up
FIND JOBS
TAILOR A RÉSUMÉ
PRACTICE AN INTERVIEW
PRICING
FREE RESUME CHECKER
BLOG
SIGN IN
SIGN UP
Galois, Inc.
Visit website
Website
galois.com
Company size
51–200 people
New open roles (30 days)
1
Median listing age
32 days
New roles and listing age count from when Seekless first saw each role, not the employer's posting date.
4 Open Roles
Last checked 1d ago
Engineering — 1 role
Research Engineer
Boston, Massachusetts, United States
hybrid
full-time
Verified 1d ago
Haskell
functional programming languages
theorem provers
model checkers
Other — 3 roles
Research Engineer - Formal Methods
Boston, Massachusetts, United States
hybrid
full-time
Verified 1d ago
Haskell
theorem provers
model checkers
SysML
Industrial Security Team Lead / Senior Facility Security Officer (FSO)
Arlington, Virginia, United States
on-site
full-time
Verified 1d ago
Lead
8–10 yrs
NISS
DISS
eAPP
Principal Scientist
Boston, Massachusetts, United States
hybrid
full-time
Verified 1d ago
Lead
formal verification
theorem proving
static analysis
formal methods