Remote Formal Methods Engineer Blockchain Security
Austin, Travis County, Texas, 73301, USA
Listed on 2026-10-30
-
Software Development
Blockchain / Web3
pofft Technology Inc. is seeking a Software Engineer (Engineer III to Principal) focused on Formal Methods.
You will design and develop tools to verify smart contracts and identify security issues, contributing across the full software lifecycle from analysis to deployment. You will work in a multinational team applying symbolic model checking, SMT solving, and abstract interpretation to ensure provably secure blockchain code.
Consider building your career as a Remote Formal Methods Engineer for Blockchain Security at pofft Technology Inc.
We appreciate your interest in this position.
Join pofft Technology Inc. and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Remote Formal Methods Engineer for Blockchain Security role at pofft Technology Inc., based in 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).