Principal Scientist (Future Opportunities)
Galois, Inc.(7 months ago)
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.
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)
About Galois, Inc.
galois.comGalois 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.
Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
Similar Jobs
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)