Informal Systems| Senior Distributed System Engineer (Berlin)| 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 researching, designing, and implementing improvements to the software and protocols. Significant experience in Rust is desired.
You can learn more and apply online here: <a href=" Feel free to reach out to REDACTED_EMAILtems with any questions!
Ask HN: Who is hiring? (March 2020)