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
Explore opportunities in Waterloo Region and beyond
Research and development at the intersection of formal verification and distributed systems, with a focus on blockchain technologies like the Cosmos Network.
Something looks off?