Optimal layoff rules in closed form are derived for all workers in a firm that downsizes under uncertainty and faces heterogeneous firing costs. The theoretical model predicts that the firm displaces workers with low firing costs, low expected future productivity growth, and low layoff option...