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.