A coal miner is someone who works in a coal mine. They can be called a collier, pitman, miner, or mineworker.