Work with the best minds in crypto

Explore opportunities with leading projects across crypto & web
1kx

Senior Software Engineer - ZK Proof Systems (Rust)

Snarkify

Snarkify

Software Engineering
Palo Alto, CA, USA
Posted on Saturday, May 18, 2024

Company Description

At Snarkify, we are passionately driven by our mission to scale zero-knowledge proofs (ZKPs) for a decentralized future. We empower developers by providing robust infrastructure and user-friendly tools, enabling them to effectively build, deploy, and scale ZKP applications. Our operations are steered by a stellar founding team comprising two Ph.D. holders and a Master holder. Our founders carry exceptional expertise gained from renowned organizations such as the Ethereum Foundation, Facebook, Amazon, and Dropbox. Through the application of folding schemes, proof aggregation, and GPU acceleration, we're pushing the scalability of proof systems to unprecedented levels. Through this unwavering commitment, we are shaping a future that promises enhanced security, privacy, and decentralization.

Job Description

Snarkify is seeking for exceptional Blockchain Infrastructure Engineers who not only possess a strong foundation in blockchain technologies but also exhibit a genuine enthusiasm for emerging innovations, particularly in the realm of Zero-Knowledge Proofs (ZKPs). We are searching for driven and dedicated individuals who thrive in the challenge of building foundational libraries and systems that leverage cutting-edge ideas in scaling ZKP applications. Our ideal candidates will have a relentless curiosity for staying ahead of the curve, a passion for exploring new concepts, and a commitment to shaping the future of decentralized technology. By joining our team, you'll have the opportunity to work alongside industry experts and contribute to groundbreaking advancements in the ZKP space.

Responsibilities

  • design, develop, and maintain scalable proof systems, libraries and related tools to support ZKP applications.
  • Collaborate with the development team to implement new cryptographic protocols, optimizing arithmetic circuits and recursive proof techniques.
  • Optimize and fine-tune proof systems by leveraging GPU-based hardware acceleration and proof aggregation methods.
  • Research and stay up-to-date with emerging blockchain technologies, protocols, and industry best practices to ensure the continuous improvement of our infrastructure.
  • Contribute to the development and maintenance of robust, secure, and high-performance APIs for our developer community.

Qualifications

  • 3+ years related professional experience using Rust
  • Strong mathematical and engineer skills
  • Knowledge of common algorithms, data structures, and their computational and memory complexities, as well as experience implementing them from scratch
  • Systematic problem-solving approach, combined with a strong sense of ownership
  • Experience writing production, security critical code
  • Familiar with at least one or more proof systems; previous working experience is preferred
  • Experience in blockchain infrastructure development or cryptography preferred
  • Prior experience in performance optimization preferred

Additional Information

Benefits

  • Competitive base salary with founding member equity.
  • The opportunity to build the next-generation ZK computing platform.
  • Immersion in a team of top-notch global blockchain engineers.
  • A flexible and innovative remote work environment.
  • Room for continuous growth and development in the ZK field.