miner (n.)

c. 1300 (early 13c. as a surname), "one who mines, a person engaged in digging for metals or minerals or in digging a military mine," from Old French mineour (13c.), agent noun from miner "to mine" (see mine (v.1)).