#vacancy #Cyprus #relocation #Compiler engineer #Cryptography researcher #Cryptography engineer

Hello there!
I’m Olga, recruiter at =nil;Foundation.
We’re hiring Compiler engineers and Cryptography researchers/engineers to our ambitious startup.
Feel free to contact me by email [email protected] or telegram @korsakevich
About us Github: https://github.com/NilFoundation

📌Our benefits:
- Money
- No corporate bullshit culture
- Remote work or office work in Limassol
- Relocation package and support
- Health insurance


🔥Compiler engineer (LLVM)

🖌Responsibilities:
We are developing a stack-machine backend for LLVM compiler and looking for an experienced developer. Together with our research team you will work on extension and optimizations (especially memory-management optimizations) of our backend designed for stack-machine execution.

🖌Qualifications:
- Experience with compiler / toolchain development using LLVM framework
- 3+ years C++ experience
- Good understanding of computer architecture
- The language is English

🔥Cryptography researcher

🖌Responsibilities:
Developing cryptography algorithms design including proof system design
Design circuits for protocols’ state proofs for a proof system.
Academic writing
Specifications
Research other solutions related to proof-system\circuits\other cryptography tasks

🖌Qualifications:
- MS with major in Applied Math or equivalent experience
- Deep expertise in cryptographic algorithms and primitives
- Peer-reviewed publications in cryptography, distributed systems, proof systems
- Understanding or experience in ZK proof techniques, zk-SNARK circuits or proof systems (for example, Groth16, Halo, Plonk, STARKs, Marlin)
- C++14/17 experience
- The language is English

🔥Cryptography protocol engineer

🖌Responsibilities:
Developing protocols design for decentralized systems
Writing specifications and research papers on these protocols
Deep research of other solutions in the market
Communication with development teams: explanations, protocols prototypes, spec drafts, more explanations
Communication with another research team: formulation requirements for cryptographic primitives, assistance with SNARK-circuits definitions

🖌Qualifications:
- BS+ with major in Computer Science or Applied Math or equivalent experience
Experience with MPC protocols design / analysis.
- Familiarity with modern decentralized ledgers
- Some knowledge of Game Theory Applications, especially in information exchange
- Basic understanding of cryptographic algorithms and primitives
- Basic understanding of cryptography underlying math (hash functions, finite field arithmetic, polynomials, elliptic curves, etc.)
- Some experience in C++/Rust/Go
- Peer-reviewed publications in cryptography, distributed systems, peer-to-peer network, game theory applications is a strong plus
- The language is English