Galois, Inc.
A Principal Scientist at Galois leads and advances original research that combines formal methods with one or more core research areas (rigorous digital engineering, AI/ML, software & systems analysis, or cryptography). The role contributes to the company’s mission of building trustworthy systems through publishable research, external collaborations, and translating results into deployable high-assurance solutions.
Headquarters
Portland, Oregon, United States
Company Size
51-200 employees
Founded
1999
Galois is a technology company specializing in formal methods and software verification to enhance the security and reliability of complex systems. Their expertise spans various industries, including aerospace, defense, healthcare, and finance, where they provide innovative solutions to tackle challenging computational and security problems. Galois employs cutting-edge research and development practices to deliver high-assurance software, ensuring that critical systems function as intended and remain resilient against threats.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Galois, Inc..
Galois, Inc. didn’t post a salary, so this is our estimate from similar listings.
Why Sonatype Is Acquiring MuseDev
Mar 16, 2021
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Research Intern
Axiomatic
Research Engineer - Formal Methods
CODEMETAL
Senior Principal Research Engineer, Formal Methods
RTX
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com