AI Resume Builder
JOIN NOW Post Job
Scroll.io
AI

ZK Research Engineer

Scroll.io · Singapore · $81k - $102k

Actively hiring Posted about 2 years ago
About the team

We are a team working on Ceno (paper link: https://eprint.iacr.org/2024/387), one of the cutting-edge ZKVM solutions. It is the first ZKVM that exploits the program structure and compiler techniques to improve the proof generation time. The project consists of three modules: GKR prover, ZKVM protocol, and recursive prover. Our whole team is working on the following tasks:

  1. The GKR prover acceleration.
  2. ZKVM infrastructure optimization, and opcode implementation.
  3. Recursive prover design and implementation.
  4. ZK research discussion.

Responsibilities:

  • Enhance performance through innovative optimization techniques.
  • Benchmark protocols, including different IOP protocols, polynomial commitments, and circuit designs.
  • Maintain and enhance the zk[E]VM architecture for optimal performance and reliability.
  • Implement opcode circuits, test, benchmark and optimize opcode design.
  • Design and implement recursive proof systems.
  • Analyze academic papers, design algorithms, and develop compiler systems to implement new solutions.

Requirements:

  • Proficient in Rust/C++, and experience with low-level optimizations.
  • Advanced degree in Computer Science, Mathematics, or a related field, In-depth understanding of algorithms and mathematical concepts.
  • Experience in designing and developing compilers and algorithmic systems.
  • Ability to read, understand, and implement ideas from academic papers.
  • Experience in MPI development.

Preferred Qualifications:

  • Strong algorithm or mathematics contest background.
  • Publications or contributions to ZK research.
  • Hands-on experience with ZKVM and recursive proof systems.
  • Experience in collaborative zkSNARKs, or decentralized provers.

 

Tags & focus areas

Used for matching and alerts on DevFound
Research Engineer Rust Zero Knowledge
Common Questions

Frequently asked questions

Quick answers about how DevFound's AI matching, resumes, and referrals work.

DevFound's AI Copilot ingests your profile, goals, and live job data to deliver curated matches in seconds. Every match includes a resume variant, suggested referrals, and interview prep so you can act immediately. The more feedback you provide, the sharper the Copilot becomes.

AI-led job searches shrink the hours spent sifting through boards and formatting resumes. DevFound pairs automation with your personal outreach, so you reserve energy for interviews and negotiation. Traditional networking still matters, but AI gives you a lift before you even send a message.

Modern AI roles expect comfort with production-grade code, data fluency, and practical ML tooling. The strongest candidates pair deep technical chops with storytelling—translating model impact to product, GTM, and exec partners. Continuous learning keeps you ahead as stacks evolve.

DevFound rewards active seekers. Keep your profile fresh, respond to match quality prompts, and enable alerts so you never miss a role. The AI prioritizes companies and teams that align with your feedback, accelerating both introductions and interview invites.

High-density tech hubs continue to host the deepest AI talent pools, yet distributed teams are catching up fast. Use DevFound filters to hone in on onsite, hybrid, or fully remote roles and watch openings expand across time zones.

DevFound aggregates thousands of remote AI openings and flags the nuances—core hours, async culture, and visa needs—up front. The Copilot also recommends how to position your distributed work experience so hiring managers know you can thrive on a remote team.

Still have questions?

Contact Support