| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Logos | Madrid, Spain | $90k - $190k | |||
Cogito Protocol | Remote | $50k - $80k | |||
Kyber Network | Singapore, Singapore | $9k - $75k | |||
Kyber Network | Singapore, Singapore | $45k - $52k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Kyber Network | Hanoi, Vietnam | $9k - $75k | |||
Kyber Network | Hanoi, Vietnam | $45k - $52k | |||
Kyber Network | Ho Chi Minh City, Vietnam | $9k - $75k | |||
TON Foundation | Remote |
| |||
TON Foundation | Remote |
| |||
TON Foundation | Remote |
| |||
TON Foundation | Remote |
| |||
TON Foundation | Remote |
| |||
Synapse International | Remote | $72k - $112k | |||
R92 | New York, NY, United States | $100k - $250k | |||
Evmos | New York, NY, United States | $63k - $75k |
Who are we
Vac builds public good protocols for the decentralized web.
We do applied research based on which we build protocols, libraries and publications. Custodians of protocols that reflect a set of principles - liberty, privacy, etc.
You can see a sample of some of our work here: Vac, Waku v2 and Ethereum Messaging, Privacy-preserving p2p economic spam protection in Waku v2, Waku v2 RFC. Our attitude towards ZK: Vac <3 ZK.
The role
This role will be part of a new team that will make a provable and private WASM engine that runs everywhere. As a research engineer, you will be responsible for researching, designing, analyzing and implementing circuits that allow for proving private computation of execution in WASM. This includes having a deep understanding of relevant ZK proof systems and tooling (zk-SNARK, Circom, Plonk/Halo 2, zk-STARK, etc), as well as different architectures (zk-EVM Community Effort, Polygon Hermez and similar) and their trade-offs. You will collaborate with the Vac Research team, and work with requirements from our new Logos program. As one of the first hires of a greenfield project, you are expected to take on significant responsibility, while collaborating with other research engineers, including compiler engineers and senior Rust engineers.
Key responsibilities
- Research, analyze and design proof systems and architectures for private computation
- Be familiar and adapt to research needs zero-knowledge circuits written in Rust Design and implement zero-knowledge circuits in Rust
- Write specifications and communicate research findings through write-ups
- 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
- Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#)
- Experience with Open Source software
- Deep understanding of Zero-Knowledge proof systems (zk-SNARK, circom, Plonk/Halo2, zk-STARK), 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: https://status.im/about/#our-principles
Bonus points if
- Experience in provable and/or private computation (zkEVM, other ZK VM)
- Rust Zero Knowledge tooling
- Experience with WebAssemblyWASM
[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:
- Interview with our POps team
- Interview with team member from the Vac team
- Pair programming task with the Vac team
- Interview withVac 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 $90,000 - $190,000 (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.
What is EVM?
EVM stands for Ethereum Virtual Machine, and it is the runtime environment for smart contracts in the Ethereum network
It is a virtual machine that executes code written in the Solidity programming language, which is the language used for writing smart contracts on the Ethereum platform
The EVM is a sandboxed environment, which means that code executed within the EVM is isolated from the rest of the network and cannot interact with it directly
This is important for security reasons, as it prevents malicious code from affecting the rest of the network
When a smart contract is deployed to the Ethereum network, it is compiled into bytecode that can be executed by the EVM
Each node on the network maintains a copy of the EVM, which allows them to execute smart contract code and validate transactions
When a transaction is submitted to the network, the EVM processes it by executing the corresponding smart contract code
The EVM processes the transaction by reading the bytecode, interpreting it, and executing it step by step
The EVM then returns the result of the transaction to the sender, which can include changes to the state of the contract or the network as a whole
The EVM is designed to be Turing-complete, which means that it is capable of performing any computation that can be performed by a computer
This allows for complex smart contracts to be executed on the Ethereum network, including those with conditional logic, loops, and other advanced programming constructs
The EVM is a key component of the Ethereum network, as it allows for the execution of smart contracts in a secure and isolated environment
It is a crucial part of the blockchain infrastructure that enables decentralized applications to be built and run on the Ethereum platform.