Research Software Engineer, Blockchain Verification
Listed on 2026-09-24
-
Software Development
Blockchain / Web3
United States Digital Space LLC seeks a research software engineer to design and develop automated analyses for provably secure blockchain applications. You will work with language theory, automated reasoning, and tools that incorporate symbolic model checking and SAT/SMT solving to verify contracts.
You will join a multinational team, tackle hard problems, and contribute from idea to implementation while learning and growing in a collaborative startup environment.
This Full Time opening is for the Research Software Engineer, Blockchain Verification role at United States Digital Space LLC.
Are you ready to take on the Research Software Engineer, Blockchain Verification role at United States Digital Space LLC?
We would love to welcome a new Research Software Engineer, Blockchain Verification to our team 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).