Formal Methods Research Engineer Systems
Listed on 2026-10-18
-
Engineering
Software Engineer, Systems Engineer
Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory and formal verification for high-assurance systems. You will apply formal methods, model checking, and theorem proving to verify software and systems against security requirements.
The role emphasizes collaboration with researchers and engineers, customer-facing discussions, and development of robust tool chains across projects in a hybrid office setup in multiple U.S. locations, including Minneapolis.
We are looking to fill the Formal Methods Research Engineer for Trusted Systems position at Galois, Inc. in Minneapolis, MN, United States.
We have an opening for a Formal Methods Research Engineer for Trusted Systems in Minneapolis, MN, United States within IT & Technology, Engineering.
This role, Formal Methods Research Engineer for Trusted Systems at Galois, Inc., could be your next move.
Are you ready to take on the Formal Methods Research Engineer for Trusted Systems role at Galois, Inc.?
(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).