prospector: someone who explores an area for mineral deposits
miner: laborer who works in a mine
safety factor: the ratio of the breaking stress of a structure to the estimated maximum stress in ordinary use