The company is no longer hiring for this position. Check out similar vacancies

ML Developer (Zero-knowledge Proofs)
in =nil; Foundation
4 000 — 9 000 €/month net
Technologies / Tools
=Nil;Foundation develops data access mechanisms that facilitate insecure data transfer between public databases (e.g. Bitcoin, Ethereum, Solana, others). This is done by combining zero-knowledge proof cryptography and a classic DBMS-like approach. Our primary customers are crypto exchanges and other businesses that have a large volume of crypto transactions. We allow them to save on infrastructure and maintenance costs, because our solution is significantly more efficient than what is possible with off-the-shelf components.
Responsibilities
- Conducting a large amount of theoretical research.
- Collaborating with the development team to refine our products for integration with machine learning.
- Investigating the potential implementation of machine learning in our products.
- Working closely with the Crypto Research team.
Qualifications
- Strong understanding of the mathematics, in particular finite fields.
- 2–3 years of C++ experience is required.
- Knowledge of cryptographic algorithms and primitives is a benefit.
- Strong understanding of the mathematics, in particular finite fields.
- Strong interest in development in ML, especially in the applications of machine learning in cryptography.
- The language is English, so you’re supposed to be at least B2 level.
Benefits
- We pay well.
- No corporate “bullshit” culture.
- You are free to work remotely from the location of your choice, or in our office in Limassol.
- We provide health insurance and pay for your hardware setup.
- If you need it, we help with relocation.


About company =nil; Foundation
=nil; Foundation с 2018 работает над масштабированием Ethereum. С миссией преодоления проблемы масштабируемости Ethereum, команда работает над передовыми продуктами, такими как Proof Market, zkLLVM и Placeholder и ZK Rollup. Эти продукты объединяют в себе передовую криптографию, технологию Zero-knowledge proof и системы управления базами данных.