Formal Methods Research Engineer
Listed on 2026-10-16
-
Software Development
Software Engineer
Galois, Inc. is seeking a Software Engineer/Researcher to advance programming language theory and formal verification. You will apply formal methods to prove security and correctness of software and systems for high-assurance applications.
The role emphasizes collaboration with clients and researchers, with a hybrid work model and opportunities to contribute to cutting-edge technology. Must be a U.S. citizen.
We invite applications for the Formal Methods Research Engineer position located in Boston, MA, United States.
Step into the Formal Methods Research Engineer role at Galois, Inc. in Boston, MA, United States and grow with us.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
The position is based in Boston, MA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).