Galois
Principal Scientist
Portland, Oregon, United States · Principal
No sponsorshipDetected 100 days ago
AWSMachine LearningData ScienceResearchLeadershipCommunicationCollaborationMentoringWriting
About the role
- You'll publish and present your findings, mentor junior staff, and help set the national and global agenda for trustworthy systems.
- Domain Mastery: 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.
Responsibilities
- Develop and lead an externally funded research program involving frequent client and government agency interactions.
- Build partnerships across Galois, academia, government, and industry to advance active research and development programs.
- Program Development: Develop and lead an externally funded research program involving frequent client and government agency interactions.
- Cross-Sector Collaboration: Build partnerships across Galois, academia, government, and industry to advance active research and development programs.
- As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them.
- About This Role Principal Scientists drive a research agenda and develop R&D opportunities at the intersection of
- We strive to acquire, grow, and maintain a diverse and inclusive workplace that applies principles and standards equitably while supporting the needs and accommodations of the individual employee.
Compensation
- The compensation process, individual salaries, and criteria for salary changes are transparent to the entire company.
Company info
- 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 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.
- Life at Galois: People are the foundation of Galois's success.
- Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals.
- For more on our culture and organizational structure, visit Life at Galois.
- About This Role Principal Scientists 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 directly with government and industry clients, and collaborate with multidisciplinary teams to translate your research into deployable solutions that solve real-world challenges.
- What You'll Bring Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a 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.
- Client Engagement & Communication: Exceptional technical writing and presentation skills; experience translating research outcomes into clear, compelling solutions for government or industry partners.
Equal 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 applicable federal, state, or local law.
- We encourage and respect different viewpoints and experiences as being essential to the process of innovation.
- 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
This listing is sourced directly from Galois's careers page and normalized into a canonical job model.