Informal Systems
Lausanne
The company Informal Systems currently has 1 open position.
Lausanne
The company Informal Systems currently has 1 open position.
Informal Systems , Lausanne
New
Distributed Systems Engineer - Interchain Stack
Full Time, Remote
About Informal
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.
We envision a sustainable future of cooperatively owned and governed, open-source, distributed organizations running on reliable distributed systems and are excited to grow the team with amazing individuals who believe in making this future a reality.
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 CometBFT, the Cosmos-SDK, IBC, and the Cosmos Proof of Stake modules, is an industry-leading 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.
About the Role
As a Distributed Systems Engineer in the Informal’s Interchain unit, you will have a substantial impact on the success of the CometBFT and IBC products developed in Informal Systems. You will also influence the team’s culture and processes. You will operate product-first, going where the user problems are, and approach engineering tasks with resourcefulness, creativity, and swiftness. Taking ownership of tasks, working well in tight-knit squads, and adapting to ambiguous requirements that evolve rapidly are essential skills for success. The Interchain unit in Informal Systems has deep expertise in distributed systems, formal methods, blockchain protocols, and product engineering.
What your primary responsibilities will be:
What we look for in a successful Distributed Systems 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.
Avenue de l'Eglise-Anglaise 2
1006 Lausanne
Shonali Kagal