View on Hacker News
Roles
Tech stack
Location
Berlin, Toronto, Lausanne, Vienna, Remote
Work setup
- Employment
- Full-time Employee
- Level
- Senior
Contact
hello@informal.systems
Description
Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and the Inter-Blockchain Communication Protocol (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. Learn more about our cooperative here: https://informal.systems/2020/09/21/informal-owners/ 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/
Similar jobs
-
Loading similar jobs...