About Informal Systems
Informal Systems is a remote-first company with offices in Toronto, Lausanne, Vienna and Berlin. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees.
Informal is a core contributor to Cosmos, where we develop interoperable blockchain systems by heavily relying on formal verification tools and techniques (formal specification in TLA+, symbolic model checker Apalache, Model-Based Testing Framework, etc.).
The Cosmos technology stack, including Tendermint Core, the Cosmos-SDK, IBC, and the Cosmos Proof of Stake modules, is an industry-leading Go toolkit for building, deploying, and running community-owned decentralized networks. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization.
As a Go Engineer, you will have the opportunity to work with the product teams to improve APIs for blockchain queries and transactions. This role will help bridge the gap between formal verification of the protocols and the codebase quality and interact with engineering, operations, and applications teams to improve automation across our functions.
What your primary responsibilities will be:
What we look for in a successful Go Engineer:
Some of our benefits include:
Please apply via this link where you’ll be prompted to upload a cover letter, CV, and other information that will help the review process go smoothly.
We are an equal opportunity employer and value diversity in our organization. We are committed to equal employment opportunities and encourage applications from people of all race, religion, colour, national origin, gender identity, sexual orientation, age, marital status, veteran status, or disability status.