Tendermint/Cosmos | Software Engineer: Consensus, Networking, Formal Verification | Toronto, Berlin, Bay Area | Full-time If you have what it takes to design a

Tendermint/Cosmos | Software Engineer: Consensus, Networking, Formal Verification | Toronto, Berlin, Bay Area | Full-time If you have what it takes to design and implement protocol standards for the blockchain/cryptocurrency industry, reach out. We want to hire you! If you have significant open-source software development experience in distributed systems design, operating systems design, database systems design, or language design, reach out. We want to hire you! If you have a background in formal verification and proofs, and familiarity with tools like TLA+, Coq, Isabelle, etc., we want to hire you! We're redefining money while we build our future's financial infrastructure. email: careers@tendermint.com site: https://tendermint.com/careers https://tendermint.com/careers