hard-rock miner

hard-rock miner

[′härd ¦räk ′mīn·ər] (mining engineering) A worker competent to mine in hard rock, usually an expert miner.