Position: Expert Developer
Required Prior Experience:
- Software development in multiple languages (at least C/C++/Java/Go)
- Design, implementation and optimization of cryptographic algorithms/protocols and secure software
Highly Desired Experience:
- Secure computation (MPC)
- Formal theorem proving (Coq)
- Blockchain (Ethereum/Hyperledger) and consensus algorithms
Available: Remote work option for better work-family conciliation.
Contact: send you CV to [email protected].