quarryman

noun

A man involved in quarrying (mining for stone).