Summary

Key responsibilities

1. Research, design and implement proof systems for remote auditing schemes
2. Implement zk friendly hashing functions
3. Familiarity with state of the art proving backends such as arkworks, bellman, etc…
4. Write specifications and design documentation
5. Document and communicate research findings to the wider community
6. Perform security analysis, measure performance of and debug circuits

 You ideally will have 

1. Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience
2. Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#)
3. Familiarity w/ folding schemes & familiarity with different commitment schemes (KZG, IPA, FRI, etc.)
4. Experience with Open Source software
5. Deep understanding of Zero-Knowledge proof systems and corresponding tooling 
6. Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers.
7. Experience in, and passion for, blockchain technology
8. A strong alignment to our principles

Bonus points if 

1. Experience and interest in decentralized storage and p2p technologies
2. Experience designing and implementing zk-friendly hashing functions
3. Experience with WebAssembly tooling

Skills

• C++
• Communications Skills
• Rust