Informal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time|
Informal Systems| Senior Rust Engineer (Berlin, Toronto, Remote)| Full Time| <a href="
Informal is an R&amp;D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network (<a href="). Our mission is to bring verifiability to distributed systems and organizations.
We’re hiring:
Senior Distributed Systems Engineer - working on open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions of dollars in market capitalization.
Senior Rust Engineer- working on open-source products and developing correct and reliable software that serves as critical infrastructure in the blockchain ecosystem.
You can learn more and apply online here: <a href=" Feel free to reach out to REDACTED_EMAILtems with any questions!