Position: Expert Developer

Required Prior Experience:

  • Software development in multiple languages (at least C/C++/Java)
  • 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].