Web3 Ai Zk Jobs
















Job Title | Company Name | Salary | Location | Tags | Posted | |
---|---|---|---|---|---|---|
Ethereum Foundation | 50k-150k/year | RemoteWeb3ResearchDeveloper | 1w | |||
Past and filled jobs: | ||||||
Applied Blockchain | GBP 1k/year | RemoteWeb3ComplianceSecurity | ||||
Scroll.io | 📍 United States | Web3RemoteNon TechResearch |

Researcher/Engineer (Formal Verification)
at Ethereum Foundation
Aug 06, 2025

Role summaryAs a member of the Protocol Snarkification, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their implementation in the Ethereum ecosystem.About the Ethereum FoundationThe Ethereum Foundation (EF) is a global non-profit organization dedicated to assisting the Ethereum ecosystem in realizing the potential of Ethereum as an open, neutral infrastructure for the world. In practice, we dynamically allocate resources to critical projects when needed and step back when others can take the lead.About the teamThe Protocol Snarkification team's mission is to help integrate cryptographic proof systems into the core of Ethereum, with a particular focus on specifying and verifying the cryptographic protocols and their implementation. This is a research-oriented team that sits alongside other Protocols teams (particularly the Cryptography and zkEVM teams), working towards Ethereum’s snarkification, and which is intended to remain flexible to the needs of Ethereum’s development whilst improving the way that high assurance cryptography is delivered in the Ethereum ecosystem.The team currently oversees the zkEVM formal verification project, which includes the formal verification of zkVM circuits, the development of formally verified executable specifications of proof systems, and the verification of implementations against these specifications. Many aspects of this work are representative of this team’s interests; for example, formalization of cryptography in Lean and (Lean-)MLIR for cryptography.
Key responsibilities
- Key responsibilities would include a subset of the following, depending on your specific interests and expertise.
- Formalize cryptography that is used in Ethereum. This includes developing new specifications, maintaining libraries such as ArkLib, and working with external collaborators to verify optimizations and other implementation details which are used in practice.
- Investigate the development and verification of MLIR dialects for cryptography and zkVMs.
- mprovements to tooling and the use of AI for the above.
- Assist the zkEVM Formal Verification effort.
- Collaborate with other teams at the EF (e.g. Cryptography, zkEVM).
- Stay at the forefront of relevant developments in cryptography, implementations, and formal verification.
- Document and communicate your work, and contribute to the broader high assurance cryptography ecosystem.
Required skills and/or experience
- Relevant academic and/or professional background. You should be able to evidence skills related to your future work at the EF; in particular, practical knowledge of cryptography and/or the implementation stack, as well as proof assistants (Lean is preferred) and other formal verification tools applied to cryptography. Past contributions to open source projects is a plus.
- Curiosity and a willingness to keep learning.
- Excellent communication and collaboration skills. You should be able to communicate and communicate with other teams at the EF as well as with external organisations.Â
- The ability to work effectively as part of a team in a fully remote, distributed and asynchronous organization.
- Interest in and familiarity with Ethereum as a whole. Although you might not work across the entire Ethereum stack, you should not feel like a fish out of water at Ethereum events.
Listed in: Web3 Jobs, Remote Crypto Jobs, Web3 Crypto Jobs, Research Crypto Jobs, Developer Web3 Jobs, Full Time Web3 Jobs, Cryptography Web3 Jobs, ZK Web3 Jobs, Open Source Web3 Jobs, Ethereum Web3 Jobs, AI Web3 Jobs.


Head of GTMMimic Protocol
Crypto Jobs List made the hiring process much easier and delivered a lot of quality candidates to choose from. We ended up hiring one of them, so definitely a good result!


Chief of Staff & SVP SalesTheStreet / Roundtable
CryptoJobsList has been great! About to hire 1 new rep and considering countless others as well.


Co-Founder and COOMultiverse
The application quantity is much more than anticipated! We also found several attractive candidates. The salary, location, and skill set range is very broad, making finding the right person for the job pretty easy. It’s not the first time we post an open position here, and that won’t be the last.


Co-Founder and COOStickies
We hired our Head of Social through CryptoJobsList and received an impressive talent pool of over 80 passionate individuals interested in working in the crypto space. After interviewing 10 candidates, we found the perfect fit for our team. The platform was easy to use, and the team was incredibly responsive and helpful throughout the hiring process. As a consumer web3 startup, we highly recommend CryptoJobsList for any company looking to hire top talent in the crypto industry.


Co-Founder, Head of Product & OpsID8R
We've had a first round of interviews with 5+ applicants from CryptoJobsList and, like last time, it has been our best source of leads. We are still in the process of doing a second round of interviews and anticipate closing the role in the next week or two.


HR DirectorP2P.org
At P2P.org, we recognize the importance of connecting talented individuals with exciting opportunities in the dynamic and ever-evolving world of cryptocurrency and blockchain. As a company at the forefront of the blockchain and crypto revolution, we know the importance of connecting with top talent in the industry. That's why we consider CryptoJobsList to be an invaluable resource for finding and attracting the best and brightest minds in this field. It has proven to be a valuable and effective tool in our hiring efforts and we are grateful for the opportunities it has presented us.


Co-Founder & CEOWalletChat
We have already made several hires via CryptoJobsList. So far, we are happy with each one of them. CJL offers an easy to use platform and the candidates we receive are generally well versed with and a good fit for the web3 space — which is a challenge when hiring via traditional platforms. On top of this, the team has been super responsive whenever we've tried reaching out and we feel like we are talking to a friend. Excited to keep seeing CJL grow together with us, as we deliver the future of wallet-to-wallet messaging!


Founder & COOAavegotchi | Pixelcraft Studios
We've got a really strong looking shortlist and will be having calls all through this week with those. I'm quite pleased with the results!


Chief of StaffUMA Project
We recently switched to using CryptoJobsList as our primary crypto job board provider, and I have been pretty impressed thus far with the talent coming through. The latest feature of having a dashboard is a game changer, so thank you!


Co-founderFloating Point Group
Kevin here, founder of Floating Point Group. I just wanted to say that you guys are killing it. Some of our best applicants are coming from your site. Very happy with what we’re seeing so far!


Co-founder & HostEpicenter Podcast
I'd recommend using CryptoJobsList if you're looking to hire someone in crypto, they cater to a number of different skill sets including marketing and community sales and business development traders and of course, developers and engineers. We hired our CMO here!


Head of People OperationsStatus
What made CJL stand out from other options? The availability oftalent that was really passionate about working in the crypto space. We received 150+ applications, interviewed 10 and hired the one from CryptoJobsList.


Head of GTMMimic Protocol
Crypto Jobs List made the hiring process much easier and delivered a lot of quality candidates to choose from. We ended up hiring one of them, so definitely a good result!


Chief of Staff & SVP SalesTheStreet / Roundtable
CryptoJobsList has been great! About to hire 1 new rep and considering countless others as well.


Co-Founder and COOMultiverse
The application quantity is much more than anticipated! We also found several attractive candidates. The salary, location, and skill set range is very broad, making finding the right person for the job pretty easy. It’s not the first time we post an open position here, and that won’t be the last.


Co-Founder and COOStickies
We hired our Head of Social through CryptoJobsList and received an impressive talent pool of over 80 passionate individuals interested in working in the crypto space. After interviewing 10 candidates, we found the perfect fit for our team. The platform was easy to use, and the team was incredibly responsive and helpful throughout the hiring process. As a consumer web3 startup, we highly recommend CryptoJobsList for any company looking to hire top talent in the crypto industry.


Co-Founder, Head of Product & OpsID8R
We've had a first round of interviews with 5+ applicants from CryptoJobsList and, like last time, it has been our best source of leads. We are still in the process of doing a second round of interviews and anticipate closing the role in the next week or two.


HR DirectorP2P.org
At P2P.org, we recognize the importance of connecting talented individuals with exciting opportunities in the dynamic and ever-evolving world of cryptocurrency and blockchain. As a company at the forefront of the blockchain and crypto revolution, we know the importance of connecting with top talent in the industry. That's why we consider CryptoJobsList to be an invaluable resource for finding and attracting the best and brightest minds in this field. It has proven to be a valuable and effective tool in our hiring efforts and we are grateful for the opportunities it has presented us.


Co-Founder & CEOWalletChat
We have already made several hires via CryptoJobsList. So far, we are happy with each one of them. CJL offers an easy to use platform and the candidates we receive are generally well versed with and a good fit for the web3 space — which is a challenge when hiring via traditional platforms. On top of this, the team has been super responsive whenever we've tried reaching out and we feel like we are talking to a friend. Excited to keep seeing CJL grow together with us, as we deliver the future of wallet-to-wallet messaging!


Founder & COOAavegotchi | Pixelcraft Studios
We've got a really strong looking shortlist and will be having calls all through this week with those. I'm quite pleased with the results!


Chief of StaffUMA Project
We recently switched to using CryptoJobsList as our primary crypto job board provider, and I have been pretty impressed thus far with the talent coming through. The latest feature of having a dashboard is a game changer, so thank you!


Co-founderFloating Point Group
Kevin here, founder of Floating Point Group. I just wanted to say that you guys are killing it. Some of our best applicants are coming from your site. Very happy with what we’re seeing so far!


Co-founder & HostEpicenter Podcast
I'd recommend using CryptoJobsList if you're looking to hire someone in crypto, they cater to a number of different skill sets including marketing and community sales and business development traders and of course, developers and engineers. We hired our CMO here!


Head of People OperationsStatus
What made CJL stand out from other options? The availability oftalent that was really passionate about working in the crypto space. We received 150+ applications, interviewed 10 and hired the one from CryptoJobsList.


Project LeadTHORChain
We received over a dozen high-quality job applications in less than a week to this post. It has been very effective and would highly recommend. Service is excellent, UX simple. Thanks CryptoJobsList!


General ManagerMeld Gold
Great experience. We have had excellent candidates via Raman and the CryptoJobsList platform. Will definitely use again as we build out other components of the team!


Communications LeadKleros
CryptoJobsList drives more qualified leads than AngelList!


Cofounder & COOFleek
We've gotten great leads for developers from CryptoJobsList. I'm definitely a continuous user going forward!


Founder & CEODataStreamX
The quality of the candidates are by far more relevant and experienced than on other boards. They are in the crypto space and have the past experience to hit the ground running.


Co-founder & COOAID Technology
Each time their services have been nothing short of exceptional. The platform has consistently provided us with a large pool of qualified candidates for various roles within our company. The user-friendly interface and the efficient recruitment process has made it easy for us to fill positions quickly and effectively. We are grateful for the help and support provided by CJL and highly recommend their services to anyone looking to fill roles in the crypto industry.

Marketing & Communications DirectorAdel
We posted on CryptoJobsList looking for marketing help with community engagement, digital marketing and social media and found two highly qualified candidates within days! We interviewed and hired them within three weeks.


Project LeadTHORChain
We received over a dozen high-quality job applications in less than a week to this post. It has been very effective and would highly recommend. Service is excellent, UX simple. Thanks CryptoJobsList!


General ManagerMeld Gold
Great experience. We have had excellent candidates via Raman and the CryptoJobsList platform. Will definitely use again as we build out other components of the team!


Communications LeadKleros
CryptoJobsList drives more qualified leads than AngelList!


Cofounder & COOFleek
We've gotten great leads for developers from CryptoJobsList. I'm definitely a continuous user going forward!


Founder & CEODataStreamX
The quality of the candidates are by far more relevant and experienced than on other boards. They are in the crypto space and have the past experience to hit the ground running.


Co-founder & COOAID Technology
Each time their services have been nothing short of exceptional. The platform has consistently provided us with a large pool of qualified candidates for various roles within our company. The user-friendly interface and the efficient recruitment process has made it easy for us to fill positions quickly and effectively. We are grateful for the help and support provided by CJL and highly recommend their services to anyone looking to fill roles in the crypto industry.

Marketing & Communications DirectorAdel
We posted on CryptoJobsList looking for marketing help with community engagement, digital marketing and social media and found two highly qualified candidates within days! We interviewed and hired them within three weeks.