Teams at Galois

Research Engineers at Galois design and develop advanced technologies for safety-critical systems, focusing on formal verification of software and systems.

Lead research at Galois by developing externally funded programs in Formal Methods, collaborating with teams, mentoring staff, and engaging with clients.

The Proposal Coordinator manages the complete proposal lifecycle, ensuring compliance and collaboration across teams to deliver high-quality proposals for government and commercial opportunities.