Principal Scientist

About Galois

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. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a collaborative model that encourages leadership, teamwork, and respect for individuals. For more on our culture and organizational structure, visit Life at Galois.

About This Role

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
• Advanced Cryptography and Privacy

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.

What You'll Bring

Responsibilities

Eligibility & Clearance

Location

We enjoy a hybrid work environment. Candidates may be based in Arlington, VA; Dayton, OH; Minneapolis, MN; Portland, OR; or Boston, MA.

Benefits

Compensation

Compensation is based on the value of your results, not your value as an employee. The compensation process, individual salaries, and criteria for salary changes are transparent to the entire company. For more information, see our compensation information.

Equal Employment Opportunity

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. We encourage diverse viewpoints and experiences. Reasonable accommodation is provided in accordance with the ADA and applicable laws. If you require accommodation in completing the employment process, please contact peopleoperations@galois.com

#J-18808-Ljbffr