We study the fermionic extension of the E10/K(E10) coset model and its relation to eleven-dimensional supergravity. Finite-dimensional spinor representations of the compact subgroup K(E10) of E(10,R) are studied and the supergravity equations are rewritten using the resulting algebraic variables. The canonical bosonic and fermionic constraints are also analysed in this way, and the compatibility of supersymmetry with local K(E10) is investigated. We find that all structures involving A9 levels 0,1 and 2 nicely agree with expectations, and provide many non-trivial consistency checks of the existence of a supersymmetric extension of the E10/K(E10) coset model, as well as a new derivation of the `bosonic dictionary' between supergravity and co...