| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Protocol Labs | remote | $63k - $90k | |||
Uniswap Labs | New York, NY, United States | $72k - $75k | |||
Azra Games | Sacramento, CA, United States | $40k - $75k | |||
Aptos | Palo Alto, CA, United States | $98k - $110k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
NetSPI | United States | $105k - $111k | |||
Long View Systems | United States | $40k - $71k | |||
Besam Canada Inc. | Sacramento, CA, United States | $32k - $62k | |||
Alt Research | Singapore, Singapore | $72k - $82k | |||
Fabric Ventures | London, United Kingdom | $54k - $77k | |||
Zoltar Labs | New York, NY, United States | $39k - $50k | |||
Winter | San Francisco, CA, United States | $150k - $250k | |||
Winter | San Francisco, CA, United States | $100k - $200k | |||
Spruce Systems, Inc. | Remote | $18k - $75k | |||
Immuna | Remote | $60k - $180k | |||
Immuna | Remote | $60k - $180k |
About Lurk Lab
Lurk Lab is an entity within Protocol Labs that is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive SNARKs. Lurk implements a minimal Lisp whose program executions can be proven in zero-knowledge, yielding succinct proofs which are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
A “Rust Cryptography Engineer for Lurk” will support the development of the Lurk programming language, including core language features and libraries. The ideal candidate for this job will have experience writing zk-proofs or zk-proof adjacent software in Rust.
Job Responsibilities...
- Work closely with the current Lurk engineering team, a technical program manager, and core collaborators to support the growth of the language
- Invest significant time in learning and understanding the current Lurk language and understanding its trajectory
- Maintain and develop the code base
- As needed:
- Write Lurk circuits in Rust
- Support and improve Nova integration and other proving backends
- Work directly in or with forks of external repositories on which Lurk depends (, , )
- Author new libraries to improve manual and automated creation of efficient circuits/witnesses
- Engage with research literature and researchers to ensure the correct deployment of new technologies
You might be a good fit for this job if you...
- are excited by cutting-edge cryptography
- have experience coding cryptographic circuits
- love working in Rust
- have been a part of open source collaborations across organizations and repositories
- are familiar with the landscape and technology of zk-SNARKs
- grok why a Turing-complete language for recursive zk-SNARKs is significant
- are familiar with one or more SNARK proving systems (Lurk currently supports Groth16 and will soon support Nova proofs)
- want to turn cryptography research into working tech
What does a Rust developer in web3 do?
A Rust developer in the context of web3 is a programmer who uses the Rust programming language to build applications and tools for the decentralized web, also known as the web3 ecosystem
The specific responsibilities of a Rust developer in web3 may vary depending on the project or organization they are working for, but in general, they would be responsible for writing, testing, and maintaining Rust code that is used to build web3 applications
This could include things like creating smart contracts for decentralized finance (DeFi) applications, building tools for interacting with decentralized storage networks, or developing decentralized applications (dApps) for the web3 ecosystem.