What is another word for miner?
Pronunciation: [mˈa͡ɪnə] (IPA) 
When we hear the word "miner," we usually think of someone who extracts minerals or other valuable substances from the earth. However, there are different types of miners, and the word "miner" can encompass various professions and activities. Some synonyms for the word "miner" include excavator, driller, quarryman, prospector, and collier. An excavator is someone who uses heavy equipment to dig and remove large quantities of soil or rock. A driller is a person who bores holes into the earth to extract oil, water, or other resources. A quarryman works in a quarry, extracting stone or other building materials. A prospector searches for valuable minerals or metals, while a collier digs coal from underground mines. Each of these professions requires specialized knowledge, skills, and equipment.
