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].