[Debezo]

なる - Archaic conjugation of na adjective. 偉大なる ＝ 偉大な
にして - means 'besides', 'moreover' or 'in' for a term in literary style.
採掘士 - Yes, it's miner. But it would be a engineer than a laborer.

７つは ドワーフに 与えられた。そのドワーフは 偉大な採掘士であり その上 岩の館の細工師である。
I think your translation is correct except '7 is' -> '7 were'.