This paper is concerned with the state-constrained optimal control of the two-dimensional thermistor problem, a quasi-linear coupled system of a parabolic and elliptic PDE with mixed boundary conditions. This system models the heating of a conducting material by means of direct current. Existence, uniqueness, and continuity for the state system are derived by employing maximal elliptic and parabolic regularity. By similar arguments the linearized state system is discussed, while the adjoint system involving measures is investigated using a duality argument. These results allow us to derive first-order necessary conditions for the optimal control problem.