Research Engineers at Galois design and develop technologies for safety-critical systems, focusing on requirements gathering, architecture, software assurance, and testing.

Drive a research agenda and lead R&D in Formal Methods and related fields. Manage funded research programs, engage with clients, mentor teams, and promote trustworthy systems through publications and presentations.

As a Research Engineer, you will engage clients for requirements, design and develop software systems, implement formal verification, and conduct technology research.