Compiler Engineer (Rust / Zero - Knowledge)

What you bring

• Experience with compilers, VMs, domain-specific languages
  
• Familiarity with Zero-Knowledge Proofs (zk-SNARK, circom, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design
  
• Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#)
  
• Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience
  
• Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers.
  
• Experience with Open Source software
  
• Experience in, and passion for, blockchain technology
  
• A strong alignment to our principles: https://status.im/about/#our-principles
  

What you bring

• Experience with compilers, VMs, domain-specific languages
  
• Familiarity with Zero-Knowledge Proofs (zk-SNARK, circom, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design
  
• Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#)
  
• Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience
  
• Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers.
  
• Experience with Open Source software
  
• Experience in, and passion for, blockchain technology
  
• A strong alignment to our principles: https://status.im/about/#our-principles
  

• Analyze and implement proof systems and architectures for private computation
  
• Design and implement zero knowledge circuits in Rust
  
• Perform security analysis, measure performance of and debug circuits
  
• 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