Este estudo investiga tanto teórica quanto empiricamente a relação entre expansão econômica e aumento do grau de formalização do mercado de trabalho brasileiro no período recente. Em termos teóricos, apresentamos um arcabouço, baseado em modelos de busca por emprego (search models), que procura explicar o aumento da formalização por meio da dinâmica de contratações de trabalhadores durante períodos de expansão da atividade econômica. As principais predições desse arcabouço são de que o grau de formalização cresce à medida que a taxa de desemprego cai e o diferencial de salários entre trabalhadores formais e informais aumenta, pelo menos no início da expansão da economia. Na parte empírica, fazemos uso dos dados da Pesquisa Mensal de Emprego (PME) do Instituto Brasileiro de Geografia e Estatística (IBGE) para testar se essas duas predições se confirmam. Os resultados obtidos corroboram em larga medida ambas as predições.