miner

noun

One whose work or business it is to extract ore or minerals from the earth.

A machine for the automatic extraction of minerals, especially of coal.

A soldier, often a specialist, engaged in mining operations.

A leaf miner.

One who mines; a person engaged in digging for metals or minerals, or in forming a military or other mine.