This postdoc will explore secure distributed computation paradigms for decentralized learning, formalizing its properties and addressing confidentiality, integrity, and failure tolerance. It will investigate approaches like Multi-Party Computation (MPC) for privacy and Conflict-Free Replicated Data Types (CRDTs) for consistency. The outcome will include mechanisms to integrate distributed systems and cryptography, balancing security, performance, and scalability.