About this role
Principal Scientist (Future Opportunities) at Galois, Inc.. Location: Boston or Massachusetts. Role: lead program, engage clients, publish findings Requirements: Ph.D. in CS or applied math; formal methods expertise; funded research leadership; client engagement; mentorship. Category: Research and Development (R&D) Seniority: Senior Level Tools: Formal verification, Theorem proving, Static analysis, External grant management, Mentorship Commitment: Full Time Workplace: Hybrid Languages: English