[pt] Este trabalho desenvolve um modelo de busca por emprego com trabalhadores e firmas heterogêneos, salário mínimo e benefícios trabalhistas. Em equilíbrio, as firmas informais são menores, menos produtivas e empregam menos trabalhadores qualificados devido a um efeito de seleção. Trabalhadores informais geralmente recebem salários maiores para compensar a falta de benefícios trabalhistas, mas uma simples comparação de salários médios entre setores mostra um prêmio salarial para a formalidade devido a um efeito de composição. Além disto, o salário mínimo pode quebrar a relação de diferenciais compensatórios, de forma que haja um prêmio de formalidade para trabalhadores pouco qualificados mesmo após controlar para produtividade individual. O modelo é calibrado usando dados do Brasil e utilizado para explicar a evolução do mercado de trabalho neste país de 2003 até 2012. Os resultados sugerem que o aumento da escolaridade média foi o fator mais importante por trás da reversão da tendência de informalidade no Brasil, que ainda é um fato não plenamente explicado na literatura acadêmica. Também mostra-se que, no modelo calibrado, impostos progressivos sobre folha salarial poderiam levar a uma redução tanto do desemprego quanto da informalidade sem comprometer as receitas do governo. / [en] This work develops a search and matching model of informality with heterogeneous workers and firms, minimum wages, and mandated benefits. In equilibrium, informal firms are smaller, less productive and employ fewer skilled workers as a result of self-selection. Informal workers are generally compensated for the lack of mandated benefits by receiving higher wages, but a simple comparison of average earnings between sectors shows a formality wage premium because of compositional effects. In addition, a binding minimum wage can break the equalizing differentials relation, so that there might be a formality wage premium among low wage workers even after controlling for individual productivity. The model is calibrated using Brazilian data and used to explain the evolution of labor market outcomes in that country from 2003 to 2012. The results suggest that rising schooling was the most important factor behind the reversal of the informality trend in Brazil, which remains a puzzle in the current literature. It is also shown that, for the calibrated model, a progressive payroll tax would lead to a decrease in both unemployment and informality without compromising tax revenues.