O objetivo deste artigo é investigar empiricamente o papel dos encargos trabalhistas na determinação do grau de formalização do mercado de trabalho brasileiro, e seus efeitos sobre as principais variáveis do mercado de trabalho, tanto em termos agregados quanto para diferentes níveis de qualificação. A análise é realizada através de um modelo com dois setores (formal e informal) em que firmas de ambos os setores utilizam trabalhadores nãoqualificados e qualificados como insumos na produção. O lado da demanda por trabalho é determinado pelas produtividades desses trabalhadores em cada um dos setores, enquanto o lado da oferta é representado por curvas de salário específicas para o setor e o grupo de qualificação. Os resultados mostram que reduções na alíquota de impostos incidentes sobre os salários teriam efeitos significativos sobre o grau de formalização dos trabalhadores, assim como contribuiria para o aumento do nível de emprego e dos rendimentos.