Job Description

Logos is a movement supporting the development of the decentralized web. Logos technologies lay the foundations for a freer internet upon which communities can evolve into network states. Each protocol in the Logos stack seeks to empower its users while upholding civil liberties and fundamental freedoms.

About Vac

Vac builds public good protocols for the decentralized web. We engage in applied research to develop protocols, libraries, and publications. This position is within the Vac ACZ (Applied Cryptography & ZK) unit, which supports various Logos projects.

The Role

In this role, you will be responsible for implementing and analyzing components of zero-knowledge argument systems and architectures for private computation. The ideal candidate should be adept in zero-knowledge circuits written in Rust, with the ability to adapt to evolving research needs. Your responsibilities will include implementing zero-knowledge circuits and writing comprehensive specifications. Additionally, your role will involve measuring the performance of circuits, with the ability to debug and optimize as needed. Join us in pushing the boundaries of private computation technology and contribute to groundbreaking advancements in the field of ZK argument systems.

Key Responsibilities

• Implement and analyze components of ZK argument systems and architectures for private computation.
• Write specifications and communicate analysis results through detailed write-ups.
• Break down complex problems and discern what can and cannot be deferred.
• Measure performance and debug circuits.

Requirements

You Ideally Will Have

• Very strong engineering background.
• Very strong Rust skills.
• Experience in implementing components of zero-knowledge argument systems and related technologies (zk-SNARK, circom, Nova, Plonk/Halo2, zk-STARK).
• Proficient communicator, keen to share your work in various contexts, including internal and public presentations, blog posts, and academic papers.
• Experience in, and passion for, blockchain technology.
• Strong alignment with our principles.

Bonus Points If

• Deep understanding of zero-knowledge argument systems and related technologies (zk-SNARK, circom, Nova, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design.
• Experience with Open Source software.

[Don’t worry if you don’t meet all of these criteria, we’d still love to hear from you if you think you’d be a great fit for this role. Just explain to us why in your cover letter].

Hiring Process

The hiring process for this role will include:

1. Interview with our POps team
2. Interview with a team member from the Vac team
3. Pair programming task with the Vac team
4. Interview with the Vac team lead

The steps may change if it makes sense to adapt the interview stages, so please consider the above as a guideline.

Compensation

The expected compensation range for this role is negotiable and depends on how we assess your skills and experience throughout our interview process. We are happy to pay in any mix of fiat/crypto.