miner

(mīˈnər)

1. One whose work or business it is to extract ore or minerals from the earth.
2. A machine for the automatic extraction of minerals, especially of coal.
3. A soldier, often a specialist, engaged in mining operations.
4. Zoology A leaf miner.