buchmanster

Blockchains are the natural evolution of fault tolerant database systems into the multi-stakeholder domain. Databases that are not just architecturally fault tolerant (eg. using Paxos or Raft), but politically fault-tolerant (using BFT). Money is an obvious and natural use case for such multi-stakeholder database systems, but conceivably much other critical infrastructure is as well. Though of course, since we are talking about multi-stakeholder, uptake in commercially meaningful areas will inevitably be slower and riddled with political conflict.

Informal Systems | Senior Engineering and Product Roles (Berlin, Toronto, Lausanne, Vienna, Remote)| Full Time | Rust | Go | https://informal.systems/ | https://twitter.com/informalinc

Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and IBC, and their implementation in Rust and Go. We're structured like a workers cooperative, and serve as one of the core research and development teams in the Cosmos Network. The work we do plays a critical role in the emerging Internet of Blockchains. We're also building tools to make formal verification a more accessible part of software development.

Our mission is to build verifiable distributed systems and organizations to support localism.

We're hiring for engineering and product roles across the Cosmos ecosystem, to help build the Internet of Blockchains. If you're interested, please apply, regardless of the roles listed: https://informal.systems/careers/

Feel free to reach out to hello@informal.systems with any questions!