1) шахтёр, приисковый рабочий, горнорабочий, горняк, рудокоп, углекоп

2) майнер (лицо, выполняющее распределённые вычисления за вознаграждение)