aimlroles

Cryptography Researcher - Nil Foundation

deCircle Open · verified Oct 22, 2026
Remote Berlin Full-time Mid-level AI Research

At a glance

Mid-level AI Research role at deCircle. Remote, Germany · full-time.

Pay not stated AI Research salary

RoleAI Research
SeniorityMid-level
LocationBerlin
WorkplaceRemote
EmploymentFull-time
PostedAug 25, 2024 · 2y ago
Role brief

aimlroles summary, based on the employer's posting.

What you'll do

  • Create cryptographic algorithms and shape the proof systems they support
  • Build circuits that prove protocol state for use in a proof system
  • Write academic material and assess security
  • Investigate other proof systems, circuits and cryptography approaches

What you bring

  • A master’s degree in applied mathematics or equivalent experience
  • Strong command of cryptographic algorithms and primitives
  • Experience with C++ and English proficiency at B2 level or higher

Who this fits

This role suits a cryptographer interested in developing zero-knowledge proof systems. It is remote and based in Berlin; the working language is English.

From the employer

=nil; Foundationhas been at the forefront of Ethereum scalability solutions since 2018. With a mission to overcome the Ethereum scalability challenge, the team has been working on cutting-edge products such as =nil;’s native Proof Market, zkLLVM, and Placeholder, combining advanced cryptography, zero-knowledge technology, and database management systems.


Now we are looking for an experienced Cryptographer, who has an experience or a strong interest in developing zkProof systems.

Responsibilities

- Developing cryptography algorithms design including proof system design.

- Design circuits for protocols’ state proofs for a proof system.

- Academic writing.

- Security analysis.

- Research other solutions related to proof-system\circuits\other cryptography tasks.


  • MS with major in Applied Math or equivalent experience

  • Expertise in cryptographic algorithms and primitives

  • MS with major in Applied Math or equivalent experience

  • C++ experience

  • Understanding or experience in ZK proof techniques, zk-SNARK circuits or proof systems (for example, Groth16, Halo, Plonk, STARKs, Marlin) is a strong plus

  • The language is English, so you’re supposed to be at least B2 level