Research scientist

Who We Are: 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.
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 research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across aerospace & defense, healthcare, semiconductors, and fintech.
Life at Galois: People are the foundation of Galois's success. For more on our culture and organizational structure, visit Life at Galois.
We're seeking Principal Scientists to drive a research agenda and develop R&D opportunities at the intersection of Formal Methods and one or more of our four Research Areas:
Rigorous Digital Engineering
Artificial Intelligence, Machine Learning, and Data Science
Software & Systems Analysis
In this role, you will lead externally-funded research programs, engage with government and industry clients, and collaborate with multidisciplinary teams to translate research into deployable solutions. You'll publish and present findings, mentor junior staff, and help set the national and global agenda for trustworthy systems.
or equivalent) in Computer Science, Applied Mathematics, or related field, with a track record of high-quality research (publications, patents, or open-source tools) in formal verification, theorem proving, static analysis, or related areas
Demonstrated expertise in at least one of our four research areas with evidence of applied projects or publications
Funding & Program Leadership: Proven success securing external research grants or contracts, and managing projects from proposal to delivery
Client Engagement & Communication: Exceptional technical writing and presentation skills; experience translating research outcomes into clear, compelling solutions for government or industry partners
A passion for coaching and inspiring technical teams, fostering creativity, curiosity, innovation, and ownership
Develop and lead an externally funded research program involving frequent client and government agency interactions
Technical Leadership: Define research roadmaps that integrate formal methods with domain expertise
Build partnerships across Galois, academia, government, and industry to advance active research and development programs
S. government export license to authorize access to export-controlled technology and software required to perform this role
We enjoy a hybrid work environment. 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
~ Health Savings Account (HSA) with employer contributions
~ Mental health and wellbeing support through our employee assistance program
~5 weeks of paid time off and 9 paid company holidays each year
~Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices 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 law.