This is something that just peeved me.
I was mining out the living quarters, and, hallelugha, Native Aluminum! Now, I tend to have every dwarf mine, (a) because I want everyone to be armed (and have some modicum of skill with that weapon) if the unthinkable happens (we did settle a Terrifying biome, after all), and (b) because it gets things done faster.
However, the cluster of native aluminum was attacked by unskilled miners only. Of five native aluminum wall sections, I recieved one native aluminum nugget. This is unacceptable.
So, I propose that you have a way to set priorities - so that only miners above a certain skill are allowed to mine out objects of a certain type, such as assigning it so that only Legendary miners are allowed to mine out Adamantine, Platinum, Aluminum, and Gold, whereas lesser miners may mine out economic stones, and all non-economic stones except Bauxite can be mined by any miner, even an unskilled one.
Also, have it set up so that if a mining job in a high-priority surface that only a high-priority dwarf may mine is discovered, a high-priority miner (the highest currently available) will rush to do that - IE, if I hit platinum, the Legendary miner on the other side of the fort will cancel their job to dig in sandy loam and rush right over to mine out the precious platinum.
(And yes, I did search. If this has been proposed before, it eluded me.)