Galois, Inc.

Who We Are

We are a community of researchers, engineers, and operations people dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

People are the foundation of Galois’ success. As an employee-owned company, we care about not only the technologies we develop but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individual.

What We Do

We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech.

From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world’s most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

Life at Galois

Creativity thrives in a work environment that respects and enables quality of life. With that perspective, we delight in offering a robust benefits package to provide for you and your family's wellbeing, including:

• Employee Stock Ownership Plan (ESOP)

• 401(k) retirement plan with 5% employer match and immediate vesting
• Fully paid medical insurance plans and dental and vision reimbursement plan
• Health Savings Account (HSA) with generous employer contributions
• Mental health and wellbeing support through our employee assistance program
• 5 weeks of paid time off and 9 days of paid company holidays each year
• 16 weeks of fully paid parental leave (available for birth, adoption, and fostering)
• 1 week of fully paid “Blue Sky” innovation time each year to pursue your interests

Visit Life at Galois and our Careers page for more information.

We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. Do you want to join us in making an impact in the world?

Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on disability, veteran status, or any other characteristic protected by applicable federal, state, or local law. Consistent with the Americans with Disabilities Act (ADA) and federal and state laws, it is the policy of Galois, Inc. to provide reasonable accommodation when requested by a qualified applicant or employee with a disability, unless such accommodation would cause an undue hardship. If you require reasonable accommodation in completing the employment application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please contact peopleoperations@galois.com.