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, with 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.

This unwavering commitment is shaping a future that promises enhanced security, privacy, and decentralization.

While professional experience and qualifications are key for this role, make sure to check you have the preferable soft skills before applying if required.

Snarkify is seeking exceptional Blockchain Infrastructure Engineers who possess a strong foundation in blockchain technologies and exhibit a genuine enthusiasm for emerging innovations, particularly in the realm of Zero-Knowledge Proofs (ZKPs).

We are searching for driven 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 of 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.
• Familiarity 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.

What We Offer :

• 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