Informal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time|
Informal Systems| Senior Rust Engineer (Berlin, Toronto, Remote)| Full Time| https://informal.systems/
Informal is an R&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 (https://cosmos.network/). 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.
Informal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time| https://informal.systems/ Informal is an R&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 (https://cosmos.network/). Our mission is to bring verifiability to distributed systems and organizations. We’re hiring: Senior Distributed Systems Engineer - Working on researching, designing, and implementing improvements to the software and protocols. Significant experience in Rust is desired.
You can learn more and apply online here: https://informal.systems/careers/ Feel free to reach out to [email protected] with any questions!
Informal Systems| Senior Distributed System Engineer (Berlin)| Full Time| https://informal.systems/ Informal is an R&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 (https://cosmos.network/). Our mission is to bring verifiability to distributed systems and organizations.
We’re hiring: Senior Distributed Systems Engineer - Working on researching, designing, and implementing improvements to the software and protocols. Significant experience in Rust is desired.
Informal is an R&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 (https://cosmos.network/). 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: https://informal.systems/careers/ Feel free to reach out to [email protected] with any questions!