This paper studies the optimal design of social insurance programs for disabled workers by developing and estimating an equilibrium labor search model with screening contracts. In the model, firms may strategically use employment contracts, consisting of wage and job amenities, to screen out the...