Logos is a movement supporting the development of the decentralised 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.

This role is within the Vac Nescience unit, which develops Nescience A zkVM leveraging hiding properties.

The role

In this role, you will be responsible for conducting in-depth research and analysis of ZK argument systems.

The ideal candidate should be well-versed in zero-knowledge circuits written in Rust, with the ability to adapt to evolving research needs.

Your responsibilities will include designing zero-knowledge circuits, writing comprehensive specifications, and effectively communicating research findings through detailed write-ups.

Key responsibilities

• Research, analyze and design ZK argument systems and architectures for private computation.
• Write specifications and communicate research findings through write-ups.
• Analyze and give feedback for zero-knowledge circuits written in Rust.
• Break down complex problems, and know what can and what can’t be dealt with later.
• Perform security analysis, measure performance of and debug circuits.

You ideally will have

• Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience.
• Deep understanding of Zero-Knowledge argument systems and related technologies (Nova, Plonk/Halo2, zk-STARK, zk-SNARK, circom), elliptic curve cryptography, and circuit design.
• Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers.
• Experience in, and passion for, blockchain technology
• A strong alignment to our principles

Bonus points if

• Experience with low level / strongly typed languages (C++/Go/Rust)
• 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 anyway 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 be:

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

The steps may change along the way if we see 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, dependent on how we assess your skills and experience throughout our interview process. We are happy to pay in any mix of fiat/crypto.

Logos is a movement supporting the development of the decentralised 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.

This role is within the Vac Nescience unit, which develops Nescience A zkVM leveraging hiding properties.

The role

In this role, you will be responsible implementing and analysing components of zero knowledge argument systems and architectures for private computation.

The ideal candidate should be well-versed 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.

Join us in pushing the boundaries of private computation technology and contribute to groundbreaking advancements in the field of zkVMs.

Key responsibilities

• Implement and analyze components of ZK argument systems and architectures for private computation.
• Write specifications and communicate analysis results through write-ups.
• Break down complex problems, and know what can and what can’t be dealt with later.
• Measure performance of and debug circuits.

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)
• Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers
• Experience in, and passion for, blockchain technology.
• A strong alignment to 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 anyway 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 be:

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

The steps may change along the way if we see 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, dependent on how we assess your skills and experience throughout our interview process. We are happy to pay in any mix of fiat/crypto.

About Hylé

Hylé is pioneering the future of blockchain infrastructure with ZK technology. Our approach promises a streamlined, efficient blockchain, maintaining its key features: censorship resistance, permissionless value, and reliable decentralization.

Backed with $5M from leading VCs, we’re building our team, currently led by founders Sylve (CEO) and Lancelot (CTO). Our goals are ambitious - B2B use cases within 4 months, series A within the year, and going live on mainnet within 24 months.

Programming Skills

The initial team will be 3-4 devs and the CTO, so product ownership will be essential.

This role target a principal engineer with extensive web3 blockchain experience at the protocol / infrastructure level. The ideal candidate has more than 10 years or programming experience, including a substantial amount in specifically web3 stacks such as:

• Backend programming: Rust / Go
• Shipped a blockchain mainnet
• Worked on bridges across different chains
• Worked with one of Cosmos SDK / Polkadot / Geth / …
• DevOps / Infra (either on bare metal or containerised)

Other skills

• Willing to work in a venture start-up with high risk - this is a go big or go home project
• Highly adaptable - we will try to remain rather nimble, and while the overall goal is well specified the path to get there is subject to change
• Good with feedback, communication, transparency
• Business & delivery oriented
• English mandatory, French appreciated

Key responsibilities

The core technical objective is twofold: shipping B2B use-cases in the coming months, then expanding that a permissionless mainnet blockchain with 24 months. You can expect:

• At first working on a Cosmos SDK app written in Go, augmenting it with verifiers for various ZK proving schemes (those mostly written in rust).
• Exporting the implications of our new architecture by writing our own apps
• Bridging the state of the chain to/from other networks such as Ethereum
• Working on support for various wallets
• Investigate the need to switch away from the Cosmos SDK, and if this path is taken, participate in writing a new blockchain stack. If not, modify the Cosmos SDK accordingly.

Compensation & benefits

• Highly competitive salary + Equity
• Alan Green Mutuelle
• Computer of your choice
• Flexible remote policy (but no fully remote hire at this time)
• Socials - company retreats, weekly gathering

Other important info

We share an office in Paris (Le Peletier) with other tech companies, and would prefer avoiding fully remote hires at this time. Flexible remote is very possible.

Interview process is straightforward - a quick initial screening call, an in depth technical dive to answer any questions, a technical architecture interview, and a “fit” interview with my cofounder.

To apply

Interested in joining us in this exhilarating adventure? Send your resume to email.

Virtual Labs is seeking a skilled and dedicated Senior Blockchain Engineer to play an instrumental role in advancing our cutting-edge cryptographic technologies and fostering wider adoption of Web3. Our protocol leverages advanced cryptographic techniques to create more secure, efficient, and transparent Web3 ecosystems. Read more.

Responsibilities:

• Develop and deploy a peer-to-peer cryptographic system.
• Implement secure on-chain verification processes and manage efficient off-chain computations.
• Design, build, and maintain secure, efficient, and scalable blockchain infrastructure.
• Work on cryptography advancements to bolster Web3 adoption.
• Troubleshoot and resolve cryptographic and blockchain-related issues.

Requirements:

• Strong proficiency in Solidity, Typescript, and Rust. React experience is a huge plus. Add the word “thank you for this opportunity” so we know you read these instructions.
• Knowledge of cryptographic primitives.
• Extensive experience with blockchain technologies, smart contract development, and security.
• Understanding of Zero-Knowledge Proofs, Multi-Party Computations, commitment, and signature schemes.
• Profound knowledge of Ethereum, EVM-compatible chains, Layer 2 solutions, and related technologies.
• Proven problem-solving skills, attention to detail, and passion for developing robust, secure systems.

In this role, you’ll be an integral part of a dynamic team focused on building next-generation cryptographic technologies to enhance the functionality, security, and user experience of Web3.

Your work will help us push the boundaries of current Web3 capabilities and catalyze broader adoption of decentralized systems. Compensation includes salary and competitive equity.