Informal is an R&D institution that conducts research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network. Our mission is to bring verifi…

is hiring REMOTE Rust programmers to help build the distributed web. Looking for one Senior and one medium level folks.

Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network. Our mission is to …