Informal Systems
informal.systemsResearch and development at the intersection of formal verification and distributed systems, with a focus on blockchain technologies like the Cosmos Network.
Something looks off?Open jobs at Informal Systems
On-site & Remote
Job function