Min'er, n.

noun

n. 1. One who mines; a digger for metals and other minerals.

Sense 2. One who digs military mines; as, armies have sappers and miners.

Here Ehrenbreitstein, with her shattered wall, Black with the miner's blast, upon her height Yet shows what she was. Byron.