Senior ZK Engineer

Company Overview

Pi Squared aims to change the world from deep fragmentation caused by programming language barriers from Web2 to Web3; ecosystem barriers in cross-chain interoperability; and trust barriers in cloud computing.

We are building groundbreaking innovations to crack down these barriers -

• the Universal Language Machine (ULM) which empowers developers to write and execute programs in any programming language on any blockchain, onboarding Web2 developers into the Web3 spaces seamlessly;
• the Universal Settlement Layer (USL), a modular and universal protocol set to redefine cross-chain interoperability;
• and lastly Proof of Proof (PoP), a universal verifiable computing framework based on formal methods and zero-knowledge technologies to enable trustless remote computing, AI, and interoperable smart contracts for any blockchain or dApp.

We sincerely invite the passionate builders, researchers to join our exciting journey.

About this role

We are seeking an experienced ZK engineer, who specializes in zero knowledge proof technology, to join our team and contribute to a new block-model based virtual machine. This role will be heavily involved in implementing the ZK frontend and backend of the Proof of Proof framework, enhancing its design and optimizing its performance.

The candidate is expected to be strong in algorithmic design, a dedicated passion for zkp that would stay on top of the latest advancement in this field and strong coding ability that is keen to implement and try out new ideas.

To summarise, your responsibilities are

• Being a core contributor of the ZK frontend and backend of the Proof of Proof framework;
• Contribute to the design and implementation of ZK algorithms- for Proof of Proof, universal verifiable computing, and trustless cross-chain interoperability protocol.
• Collaborate with cross-functionalg teams to design, optimize, and deploy specialized circuits using platforms such as Circom, Arkworks, etc. to ensure high performance and scalability.
• Research and analysis on emerging ZKP protocols and integrate the innovative techniques into our Proof of Proof framework
• Analyze and validate proof correctness, security, and performance.
• Develop robust tools, reusable libraries, and detailed documentation to streamline ZKP development and adoption across the organization.
• Participate in code review and help the team grow in cryptography and ZK aspects.

Job Qualifications and Requirements

• In-depth knowledge in zero-knowledge proofs, protocols, and VMs, such as zk-SNARKs, zk-STARKs, and folding schemes, etc.
• Proficient in programming with Rust or C++
• Experience with mathematical tools and frameworks for ZK proof development (e.g., R1CS, AIR, or polynomial commitments).
• Hands-on experience with ZKP frameworks and tools such as Circom, Arkworks, or similar
• Strong software development background and experience working with version control systems and collaboration tools
• Excellent communication and interpersonal skills
• Experienced in remote working and collaboration across different time zones.
• Publication in the related field in peer-reviewed venues or contribution to an open source ZK project is a strong plus.

Instructions

If interested in applying for this position, please send a cover letter and CV to jobs@pi2.network. Please include the job you are applying for in the subject line of the email. Our team will review your application and respond accordingly with next steps.