Starting with a simple benchmark, we first derive the characteristics of optimal employment protection. In the benchmark, employment protection takes the form of layoff taxes, used to finance unemployment benefits. We then consider a number of extensions, and show how this principle must be...