Senior Software Engineer - ZK Proof Systems (Rust)

Senior Software Engineer - ZK Proof Systems (Rust)

Full-time

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.

Increase your chances of reaching the interview stage by reading the complete job description and applying promptly.

Snarkify is seeking 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.

Minimum Requirements :

• 3+ years related professional experience using Rust.
• Strong mathematical and engineering 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.

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.

J-18808-Ljbffr