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.
As a Senior Distributed Systems Engineer, you will have the opportunity to work on open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions of dollars in market capitalization.
Design and implement improvements to the software and protocols.
Improve the correctness, code-quality, and performance of the software.
Contribute clean, well tested, and well documented code.
Review issues and pull requests and provide valuable feedback to contributors.
Mentor other engineers and support the growth and health of the team.
Guard the quality of the software from technical debt, missing tests or documentation, and feature creep.
Nurture a safe and enjoyable open source experience for contributors.
At least 5 years developing, releasing, and maintaining production software.
Significant experience writing Rust or the ability and desire to become proficient in new languages.
A track record of translating academic papers into performant software.
Experience with highly concurrent networking software.
A deep understanding of computer science fundamentals.
Knowledge of fault tolerant consensus protocols like PBFT, Raft, etc.
Knowledge of P2P networking protocols like BitTorrent, Kademlia, etc.
The ability to take ownership and see initiatives through.
Excellent interpersonal skills, experience working with distributed teams, and enjoys working with and mentoring others.
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.
© 2020 Informal Systems Inc. All rights reserved.
