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)
  • L1 blockchain development in Go

Available: Remote work option for better work-family conciliation.

Contact: send you CV to [email protected].