Informal Systems Career
Berlin, Lausanne, Paris, Remote, Toronto, Vienna
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 quality of the codebase, 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:
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.