About this role
Principal Scientist (Future Opportunities) at Galois, Inc.. Location: Arlington, Virginia, United States. Role: Leading program, Guide research, Publish findings Requirements: PhD in CS or applied math; strong formal methods research; external funding experience; client engagement; mentorship. Category: Research and Development (R&D) Seniority: Senior Level Tools: Formal verification tools, Theorem proving, Static analysis Commitment: Full Time Workplace: Hybrid Languages: English