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, analyze and design proof systems and architectures for private computation 📍Be familiar and adapt to research needs zero-knowledge circuits written in Rust Design and implement zero-knowledge circuits in Rust 📍Write specifications and communicate research findings through write-ups 📍Break down complex problems, and know what can and what can’t be dealt with later 📍Perform security analysis, measure performance of and debug circuits
You ideally will have
đź“Ť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 (zk-SNARK, circom, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design đź“Ť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.