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: REDACTED_EMAIL
site: <a href="
Ask HN: Who is hiring? (September 2017)