> Hell, no one's worried that we have too few female oil rig workers
There are programmes to increase the numbers of women in both those industries.
There's news media coverage of it: https://www.forbes.com/sites/ellevate/2016/12/07/the-energy-...
http://www.telegraph.co.uk/women/womens-business/11620315/Bu...
There's research on it: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4279861/