This paper integrates into public economics a biologically founded, stochastic process of individual ageing. The novel approach enables us to investigate the interaction between health and retirement policy in order to quantitatively characterize the optimal joint design of the social insurance...