The static semiconductor device problem is treated in an "applied mathematics" way. Qualitative properties, e.g. existence and uniqueness of solutions, and quantitative properties, particularly the structure of steady state solutions, are analysed. Physical interpretations of the mathematical results are given. Also, these results serve as a basis for the derivation and convergence analysis of numerical discretisation techniques.