Principal Scientist

Galois, Inc.; Minneapolis (MN); Hybrid; USD 130,000 - 160,000; Full time

Job summary

A leading company in formal methods and systems guarantees seeks Principal Scientists to lead research initiatives at the intersection of various high-tech domains. This role involves engaging with clients, managing R&D projects, and providing thought leadership while fostering mentorship among junior staff.

Benefits

Employee Stock Ownership Plan (ESOP)

401(k) retirement plan with 5% employer match

Fully paid medical, dental, and vision insurance

Health Savings Account (HSA) with employer contributions

5 weeks of paid time off

Qualifications

• Proven track record in formal verification and theorem proving.
• Expertise in at least one research area with applied projects.
• Experience securing external research grants.

Responsibilities

• Develop and lead externally funded research programs.
• Define research roadmaps integrating formal methods.
• Guide junior engineers and cultivate an inclusive environment.

Skills

Formal Methods Experience

Client Engagement & Communication

Collaborative Mentorship

Education

Ph.D. in Computer Science or Applied Mathematics

Job description

2 days ago Be among the first 25 applicants

About Galois

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 Department of Defense, 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. 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 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

We're seeking multiple 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 directly with government and industry clients, and collaborate with multidisciplinary teams to translate your research into deployable solutions that solve real-world challenges. You'll publish and present your findings, mentor junior staff, and help set the national and global agenda for trustworthy systems.

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
• 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
• Client Engagement & Communication: Exceptional technical writing and presentation skills; experience translating research outcomes into clear, compelling solutions for government or industry partners
• Collaborative Mentorship: A passion for coaching and inspiring technical teams, fostering a culture of creativity, curiosity, innovation, and ownership
  
  

Responsibilities

• Program Development: 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 your domain expertise
• Cross-Sector Collaboration: Build partnerships across Galois, academia, government, and industry to advance active research and development programs
• Thought Leadership: Publish and speak on your work, establishing a reputation for thought leadership in your domain of expertise
• Mentorship: Guide junior engineers and cultivate an inclusive environment where diverse ideas flourish
  
  

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 authorize access to export-controlled technology and software required to perform this role
  
  

Location

We enjoy a hybrid work environment, and candidates may be based out of any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, being located in Boston, MA is also welcome.

Benefits

We offer a robust benefits package to provide for your and your family's well-being, including:

• 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 plan
• Health Savings Account (HSA) with generous employer contributions
• Mental health and wellbeing support through our employee assistance program
• 5 weeks of paid time off and 9 days of paid company holidays each year
• 16 weeks of fully paid parental leave (available for new parents for birth, adoption, and fostering)
• 1 week of fully paid "Blue Sky" innovation time each year to pursue your interests
  
  

For more information on our benefits, visit Careers at Galois.

Compensation

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

For more information about our forward-looking and transparent approach to pay, visit Compensation.

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 applicable federal, state, or local law. We encourage and respect different viewpoints and experiences as being essential to the process of innovation. 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.

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 [e-mail]

Seniority level

• Seniority level

  Mid-Senior level

Employment type

• Employment type

  Full-time

Job function

• Job function

  Other

• Industries

  IT Services and IT Consulting

Referrals increase your chances of interviewing at Galois, Inc. by 2x

Sign in to set job alerts for “Principal Scientist” roles.

Continue with Google Continue with Google

Continue with Google Continue with Google

Scientist/Senior Scientist - Analytical Development

St Paul, MN $95,000 - $120,000 1 month ago

Maple Grove, MN $110,361 - $124,156 3 weeks ago

Analytical Development Senior Scientist I (Minneapolis, MN)

Senior Staff / Professional Environmental Engineer or Scientist

Senior Scientist/Project Manager – Natural Resource Focus

Bloomington, MN
$85,100.00
-
$127,700.00
2 weeks ago

Analytical Development Principal Scientist II (Minneapolis, MN)

Minneapolis, MN
$120,000.00
-
$185,000.00
1 week ago

Analytical Development Senior Scientist III (Minneapolis, MN)

Minneapolis, MN
$82,800.00
-
$124,200.00
1 week ago

Woodbury, MN
$82,800.00
-
$124,200.00
1 week ago

Senior Data Scientist - Remote Nationwide

Senior Principal Scientist and Senior Manager - Metals, Electrochemistry, and Corrosion

Senior Data Scientist or Principal Data Scientist

Minneapolis, MN
$120,100.00
-
$251,600.00
4 days ago

Eden Prairie, MN
$130,000.00
-
$160,000.00
4 days ago

Senior Applied Scientist – Research Products

Eagan, MN
$140,000.00
-
$260,000.00
1 week ago

Principal Data Scientist - National Remote

Edina, MN
$106,800.00
-
$194,200.00
2 days ago

Senior Applied Scientist – Research Products

Chaska, MN $98,000 - $115,000 11 hours ago

Minnetonka, MN $106,800 - $194,200 5 days ago

Senior Project Manager (Engineer or Scientist)

Senior Data Scientist - Remote Nationwide

Plymouth, MN $89,800 - $176,700 4 days ago

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.