Severance savings accounts (SSA) is an important government program aimed at protecting laid-off workers and stimulating savings. We analyze the distributive and aggregate effects of SSA in a rich life-cycle model with heterogeneous agents and incomplete markets. The model is estimated to be consistent with micro and macro data from Brazil. Our analysis reveals that, despite a decrease in voluntary savings, the policy expands aggregate savings, output, and wages, leading to long-run welfare gains. We show that although better risk sharing is important for our findings, the bulk of the gains come from improved efficiency as labor productivity increases and labor supply is reallocated towards highly educated workers and the early stages of the life cycle where agents are generally poorer and leisure is less valued. Interestingly, most of the gains we find accrue to less educated agents as the distribution of this group is skewed towards the informal sector, and they do not directly incur the additional burden from the increase in contributions. We also explore an alternative policy design in which households are allowed to access their severance savings accounts only after retirement, as in a defined contribution pension system. We find that despite greater uncertainty in medical costs later in life, households prefer a more flexible system that provides access to the SSA fund during working-age and after retirement.