Informal Systems Remote

Informal Systems is a core developer within the Cosmos interchain ecosystem, specializing in the development of essential components like the Tendermint consensus engine and the IBC interoperability standard.