About the company
Logos is a grassroots movement to provide trust-minimized, corruption-resistant governing services and social institutions to underserved citizens. Logosā infrastructure will provide a base for the provisioning of the next generation of governing services and social institutions - paving the way to economic opportunities for those who need them most, whilst respecting basic human rights through the networkās design.
Job Summary
Key Responsibilities
šThis role is dedicated to applied research.Primarily, as a researcher, you will contribute to the design of new architectural solutions. šYou will design, specify and verify distributed systems by leveraging formal and experimental techniques; build proof of concepts and prepare executable specifications for the development team. šIt's expected you regularly go through papers, bring new ideas and stay up-to-date with what is emerging in the space (blockchain, other L1s, distributed systems, Zero-Knowelde proofs, etc.). šYou will conduct theoretical and practical analysis of the performance of distributed systems and present research results within the org and externally (e.g. conferences).
Ideally, you will have
šCoding experience - this is a very important criteria for this role! Research experience - this is a very important criteria for this role as well! šStrong background in Computer Science and Math, or a related area. šDistributed Systems experience with a focus in Blockchain. šDeep knowledge of algorithms. šExperience in analyzing the correctness of distributed systems. šComfortable with āreverse engineeringā code in a number of languages including Java, Go, Rust, etc. If no experience in these languages, the ability to read and understand code of other projects is useful for understanding other real-world systems. šKeen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers.
