Senior Rust/C++ ZKP Cryptography Engineer

A Rust/C++ cryptography engineer with a strong bias towards zero-knowledge proofs (ZKPs) and compilers. This profile is currently leading the open-source implementation of a Turing-complete programming language for writing ZKPs, utilizing Rust-native syntax and a Winterfell STARK backend. The project can be found at https://github.com/maatlabs/maat. The profile is proficient in core technologies like Rust, C/C++, Solidity, PostgreSQL, WebAssembly, and has domain expertise in Solana and compilers, using tools such as Winterfell, Arkworks, RISC0 zkVM, and Solana Anchor. The candidate is located in Accra, Ghana, is open to remote or hybrid work, and is willing to relocate.