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.
#J-18808-LjbffrResearch Software Engineer, Blockchain Verification in Location not specified at Unknown Company
This position is listed as contract and onsite.