Position: Senior software developer
Company: Magic Powered
Experience required: 5y
English level: upper

We are looking for a talented person who is interested in working with complex mathematical systems, and if you have no problem to understand any technology, we are waiting for you. 
We are looking for a developer with skills in some or all of the following areas:
- C++
- Experience in cryptography over finite fields 
- Experience with code generators compilers( will be a huge + ) 
- Experience writing a backend for Toolchain LLVM (Low Level Virtual Machine) which allows to compile C++ code
- Experience with the zero-knowledge proof system prototype. 
- Functional programming, type systems, formal software verification
- High-performance storage and networking
- Database architecture and database theory
- Embedded and systems software
- Cryptography, secure enclave development, software hardening

What you will be working with - a fully configurable proof system with zero knowledge for general calculations.