miner
noun
°A person who works in a mine.
°An operator of ordnance mines and similar explosives.