About Galois

Who We Are: Galois is at the forefront of developing technology that ensures systems are trustworthy, especially in high-stakes environments like space exploration and cryptographic libraries. Our mission is to create solutions that protect the world's most valuable data and make digital engineering safer.

What We Do: We are committed to building trustworthy systems grounded in formal mathematical principles. Our team employs formal analysis techniques to design and verify critical software systems, ensuring they behave as intended under all conditions. We partner with leading organizations such as NASA, DARPA, AWS, and the Department of Defense to deliver innovative solutions that enhance security, reliability, and operational efficiency across multiple sectors, including aerospace, healthcare, semiconductors, and fintech.

Life at Galois: We believe our people are the cornerstone of our success. As an employee-owned company, we prioritize not just the technologies we develop but also our collaborative approach to innovation and respect for every individual.

About This Role

As a Lead Research Scientist, you will drive a forward-thinking research agenda at the intersection of Formal Methods and one or more of our key research areas:

• Rigorous Digital Engineering
• Artificial Intelligence, Machine Learning, and Data Science
• Software & Systems Analysis
• Advanced Cryptography and Privacy

In this role, you will lead research programs funded by external sources, engage with clients from government and industry, and work with multidisciplinary teams to develop practical solutions that address real-world challenges. Your work will involve publishing and presenting your findings, mentoring junior staff, and influencing the global narrative on trustworthy systems.

What You'll Bring

• Formal Methods Experience: A Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a proven track record of impactful research in formal verification, theorem proving, static analysis, or similar domains.
• Domain Mastery: Expertise in at least one of our research areas, demonstrated through practical projects or publications.
• Funding & Program Leadership: A history of successfully securing external research grants or contracts and managing projects from inception to completion.
• Client Engagement & Communication: Excellent skills in technical writing and presentations, with experience in conveying research outputs into engaging, actionable solutions for government or industry partners.
• Collaborative Mentorship: A desire to inspire and mentor technical teams, fostering an environment of creativity, curiosity, and ownership.

Responsibilities

• Program Development: Lead and grow research programs that are externally funded, interacting regularly with clients and government agencies.
• Technical Leadership: Create and guide research roadmaps that align formal methods with your specific domain expertise.
• Cross-Sector Collaboration: Forge partnerships across Galois, academic institutions, government bodies, and industry to advance active research initiatives.
• Thought Leadership: Contribute to the field by publishing and presenting your work, establishing your reputation as a thought leader in your area of expertise.
• Mentorship: Mentor junior staff and cultivate an inclusive environment where diverse ideas are welcomed and encouraged.

Eligibility & Clearance

• Must be willing to undergo a security investigation and will need to meet eligibility requirements for access to classified information (Active clearance strongly preferred).
• Must not require a U.S. government export license to access export-controlled technology and software necessary for this role.

Location

We support a hybrid work environment, and candidates may be based in any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, Boston, MA is also an option.

Benefits

We offer a generous benefits package to ensure the wellbeing of you and your family, including:

• Employee Stock Ownership Plan (ESOP)
• 401(k) plan with a 5% employer match and immediate vesting
• Fully funded medical insurance plans along with dental and vision reimbursement plan
• Health Savings Account (HSA) with significant employer contributions
• Mental health support through our employee assistance program
• 5 weeks of paid time off and 9 paid company holidays annually
• 16 weeks of fully paid parental leave for new parents (birth, adoption, fostering)
• 1 week of fully paid innovation time each year to pursue your interests

Compensation

Compensation is determined by the value of your contributions, not just your role. The compensation process, salary details, and criteria for salary adjustments are transparent across the company.

Equal Employment Opportunity

Galois is an Equal Opportunity Employer. We do not discriminate in employment opportunities based on race, ethnicity, national origin, ancestry, color, sex, gender identity or expression, sexual orientation, marital or parental status, pregnancy or childbirth, disability, age, religion, creed, genetic information, veteran status, or any other characteristic protected by applicable law. We promote a diverse and inclusive workplace, respecting varied viewpoints and experiences essential to innovation.

In accordance with the Americans with Disabilities Act (ADA) and relevant laws, Galois, Inc. will provide reasonable accommodations for qualified applicants or employees with disabilities upon request, unless it causes undue hardship. If you need assistance with the application process, interviewing, or other hiring-related processes, please contact us.