Lets quote % of GDP when talking about a country with negligible GDP... honest!

If what you say is true: DPRK spends $3 billion (approx) on military.

It's neighbours spend the following:

China: $150 billion (approx) South Korea: $33 billion (approx) Japan: $50 billion (approx)

Lets not forget that South Korea and Japan are satellites for the US, and a conflict would involve them: $640 billion (approx).

So their spending is at least 10x less than their cheapest neighbour.

Yes but the discussion was about whether you could assume a DPRK computer science grad would go into military (or associated work). Using military spending as a % of GDP as a rough yardstick does suggest that the number of DPRK citizens involved in military activity is very high.

Especially as each comp sci grad probably has greater potential to contribute to GDP than say your average farm labourer.

% of GDP spent to predict future jobs for comp sci graduates.

That makes the outright wrong assumption that the major cost of Military is personel...