Informal Systems is a full-suite Research & Development institution. We work on bold research problems at the intersection of formal verification and distributed systems and develop high-value distributed systems infrastructure in Rust.
We work closely with our sister organization, Interchain Berlin, on key components of the Cosmos technology stack, including the Inter-Blockchain Communcation (IBC) protocol. IBC is an open-source, general purpose protocol platform for arbitrary communication between heterogenous distributed ledgers. It is at the heart of the Cosmos Network vision for the Internet of Blockchains. See this job description for more details and to apply.
Informal 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 provide 5-weeks of paid vacation, lifestyle benefits, and annual retreats with the whole team. 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.
Please apply via this this Google form 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.