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
Find your next role at Canada's fastest-growing tech companies
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?