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
📍Research, design and implement proof systems for remote auditing schemes 📍Implement zk friendly hashing functions 📍Familiarity with state of the art proving backends such as arkworks, bellman, etc… 📍Write specifications and design documentation 📍Document and communicate research findings to the wider community 📍Perform security analysis, measure performance of and debug circuits
You ideally will have (3-5 qualities/skills)
📍Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience 📍Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#) 📍Experience with Open Source software 📍Deep understanding of Zero-Knowledge proof systems and corresponding tooling 📍Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers. 📍Experience in, and passion for, blockchain technology