We study the asset allocation of defined benefit pension plans of the type designed and sponsored by firms with the aim of providing a lifetime pension to the employees at the age of retirement. Benefits are stochastic, combining Poisson jumps with Brownian uncertainty. The sponsor dynamically...