A Continuous Time Theory of Employment Contracts with Pension Funds