Galois, Inc.

Principal Scientist (Future Opportunities)

Galois, Inc.(7 months ago)

HybridFull TimeSenior$146,879 - $196,033 (estimated)Research and Development
Apply Now

About this role

A Principal Scientist at Galois leads and advances original research that combines formal methods with one or more core research areas (rigorous digital engineering, AI/ML, software & systems analysis, or cryptography). The role contributes to the company’s mission of building trustworthy systems through publishable research, external collaborations, and translating results into deployable high-assurance solutions.

View Original Listing

Required Skills

  • Formal Methods
  • Theorem Proving
  • Static Analysis
  • Cryptography
  • AI/ML
  • Research Leadership
  • Grant Writing
  • Client Engagement
  • Technical Writing
  • Mentoring

Qualifications

  • Ph.D. (or equivalent)
  • Active Security Clearance (Preferred)
Galois, Inc.

About Galois, Inc.

galois.com

Galois is a technology company specializing in formal methods and software verification to enhance the security and reliability of complex systems. Their expertise spans various industries, including aerospace, defense, healthcare, and finance, where they provide innovative solutions to tackle challenging computational and security problems. Galois employs cutting-edge research and development practices to deliver high-assurance software, ensuring that critical systems function as intended and remain resilient against threats.

ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

© All Rights Reserved. ApplyBlast.com