HN Jobs

A searchable index of Hacker News “Who is hiring?” job postings.

← All postings · September 2017 thread

Tendermint/Cosmos

Software Engineer: Consensus, Networking, Formal Verification

CompanyTendermint/Cosmos
Websitetendermint.com ↗
RoleSoftware Engineer: Consensus, Networking, Formal Verification
Typefull-time
Role taxonomySoftware Engineering
SpecialtiesSoftware Engineering
LocationToronto, Berlin, Bay Area
Salary—
Apply viaApplication link — https://tendermint.com/careers · careers@tendermint.com
Hiring notes—
Parsed locationsToronto, Berlin, Bay Area
Posted bycoinculture
PostedSep 5, 2017
SourceView on Hacker News ↗

Original posting

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