ai analyst backend bitcoin blockchain community manager crypto cryptography cto customer support dao data science defi design developer relations devops discord economy designer entry level erc erc 20 evm front end full stack gaming ganache golang hardhat intern java javascript layer 2 marketing mobile moderator nft node non tech open source openzeppelin pay in crypto product manager project manager react refi research ruby rust sales smart contract solana solidity truffle web3 py web3js zero knowledge
| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Matter Labs | EU | $72k - $112k | |||
OKX | Hong Kong, Hong Kong | $87k - $115k | |||
OKX | Singapore, Singapore | $90k - $168k | |||
Polygon Labs | Remote | $76k - $97k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Matter Labs | Remote | $89k - $102k | |||
Matter Labs | EU | $90k - $112k | |||
Scroll.io | APAC | $58k - $75k | |||
OKX | Hong Kong, Hong Kong | $140k - $144k | |||
Scroll.io | Remote | $72k - $112k | |||
Polygon Labs | APAC | $72k - $77k | |||
FEDML | New York, NY, United States | $72k - $112k | |||
Logos | New York, NY, United States | $90k - $190k | |||
Logos | Madrid, Spain | $90k - $190k | |||
Polygon Labs | Bengaluru, India | $72k - $102k | |||
NEAR | Amsterdam, Netherlands | $72k - $150k |
Matter Labs
$72k - $112k estimated
This job is closed
Senior Operating System Engineer
EU
Engineering – Cryptography /
/ Remote
Apply for this job
At Matter Labs, we believe freedom drives progress and prosperity. We don’t see ourselves as a company, but as a team aligned around a single mission: to advance personal freedom for all (see ZK Credo).
To achieve this goal, we’re building zkSync — a credibly neutral, fully open source technology stack and network on top of Ethereum, which is owned and governed by its community. We use advanced cryptography called zero-knowledge proofs to scale Ethereum infinitely without compromising on security or decentralization. With a world-class team, a community of over 1M supporters across Twitter + Discord, and hundreds of millions $ in funding, we have abundant resources to accomplish the mission.
The Role
We are seeking a highly skilled and innovative Senior Operating System Engineer to join our zkOS Development Team. This role is pivotal in the development of our next-generation proof system and virtual machine, specifically focusing on the implementation of a provable RISC-V 32I+M CPU for Ethereum zkRollups/L2s/Hyperchains.
What You'll Be Doing
- Designing and implementing a compact and efficient finite state machine (FSM) for blockchain use cases, including state transitions, application of individual transactions/blocks and post-processing activities.
- Developing an OS-like program and sub-VMs for executing both trusted and untrusted bytecode, including future capabilities for untrusted native code.
- Engaging in both operating system engineering and embedded development within the constraints of a system akin to, but smaller than, the Linux kernel.
- Utilizing Rust for implementation, potentially exploring formally verifiable subsets of the language.
- Working at the intersection of OS engineering, embedded development, and full system design based on FSM principles.
- Conducting independent research, design, implementation, documentation of solutions, and potentially leading a team in these efforts.
What We Look For In You
- Note: This is a challenging task as we do not require a candidate to have experience in everything we list below. We encourage engineers with different backgrounds to apply as multiple people are required for this project.
- Relevant experience in OS development and/or embedded system design.
- A strong foundation in strongly typed languages (proficiency with Rust is a bonus).
- Background in blockchain execution layer design or familiarity with blockchain technologies and concepts.
- Experience in designing and implementing software solutions from scratch.
- Creativity and adaptability in solving complex problems, particularly in a blockchain context.
- Commitment to producing high-quality, efficient, and scalable software solutions.
- Strong problem-solving skills, with an ability to grasp and work with new technologies quickly.
- Excellent written and verbal communication skills in English.
- A minimum of 5 years of relevant experience in software engineering, with a focus on OS and embedded systems.
Working at Matter Labs
At Matter Labs, you have the freedom to work how you want, when you want, and from where you want. All positions are 100% remote (with optional travel to team and/or industry events). We operate in lean and nimble teams, with no time tracking and minimum bureaucracy. We move fast. Only results matter. We will provide you with everything you need to learn, grow, and be productive.
Our results-only environment means anyone who believes in our mission can join us, regardless of background, sexual orientation, race, gender, and age. Both our team and community are made up of people from diverse backgrounds. That's why, out of politeness and respect, we refrain from opinions on politics, religion, or sex at the workplace.
We designed our culture around the tenants of freedom and ownership. This ethos will underpin our positive-sum community as we evolve toward full decentralization.
If this role resonates with you, apply now for prompt feedback.
Read more about working at Matter Labs here.
Important: We are remote-first, operating in the timezones between UTC-5 (Latam and Atlantic Coast) to UTC+7 (South-East Asia). While we’re currently not hiring in the US, we do consider US-based applicants willing to relocate.
Apply for this job
What is Zero-knowledge?
Zero-knowledge is a concept in cryptography that allows two parties to exchange information without revealing any additional information beyond what is necessary to prove a particular fact
In other words, zero-knowledge is a way of proving something without actually revealing any details about the proof
Here are some examples of zero-knowledge:
- Password authentication: When you enter your password to log into an online account, the server doesn't actually know your password. Instead, it checks to see if the hash of your password matches the stored hash in its database. This is a form of zero-knowledge because the server doesn't know your actual password, just the hash that proves you know the correct password.
- Sudoku puzzles: Suppose you want to prove to someone that you've solved a particularly difficult Sudoku puzzle. You could do this by providing them with the completed puzzle, but that would reveal how you solved it. Instead, you could use a zero-knowledge proof where you demonstrate that you know the solution without actually revealing the solution itself.
- Bitcoin transactions: In a Bitcoin transaction, you prove that you have ownership of a certain amount of Bitcoin without revealing your private key. This is done using a zero-knowledge proof called a Schnorr signature, which allows you to prove ownership of a specific transaction output without revealing the private key associated with that output.
- Secure messaging: In a secure messaging app, you can prove to your contacts that you have access to a shared secret without revealing the secret itself. This is done using a zero-knowledge proof, which allows you to prove that you have access to the secret without actually revealing what the secret is.