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’re looking for someone to manage our open-source blockchain projects in Rust. This is not just a scrum master or agile coaching role - you must be deeply technical and capable of evaluating technical concerns of secure distributed systems protocols and their implementations. A successful Technical Project Lead follows “Servant Leadership”, focuses primarily on serving other engineers (both project members and users), helping to build collective understanding of the project goals and plan, reflecting the project state accurately on Github, and increasing the projects adoption and user engagement.