Apply on Employer Site

Galois, Inc. · 3 months ago

Principal Scientist (Future Opportunities)

Boston, MA

Full-time

Hybrid

Lead/Staff

Galois, Inc. is a company focused on developing trustworthy systems through formal mathematical foundations. They are seeking multiple Principal Scientists to lead research programs and engage with clients to translate research into deployable solutions that address real-world challenges.

AnalyticsCyber SecurityHuman Computer InteractionInformation TechnologyMachine LearningNational SecurityRisk ManagementSecuritySoftware

Growth Opportunities

No H1B

Security Clearance Required

Responsibilities

Develop and lead an externally funded research program involving frequent client and government agency interactions

Define research roadmaps that integrate formal methods with your domain expertise

Build partnerships across Galois, academia, government, and industry to advance active research and development programs

Publish and speak on your work, establishing a reputation for thought leadership in your domain of expertise

Guide junior engineers and cultivate an inclusive environment where diverse ideas flourish

Qualification

Formal Methods ExperienceDomain MasteryFunding & Program LeadershipClient EngagementCollaborative Mentorship

Required

Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field

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 the four research areas with evidence of applied projects or publications

Proven success securing external research grants or contracts, and managing projects from proposal to delivery

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

Ability to foster a culture of creativity, curiosity, innovation, and ownership

Willingness to undergo a security investigation and meet eligibility requirements for access to classified information

Must not require a U.S. government export license to authorize access to export-controlled technology and software required to perform this role