engineer [noun] + mining [verb]