Actually, as soon as I posted this I thought about how MIRI does exactly this! But this is just one group, and we would need more data.
Of course, much of what MIRI hires mathematicians for is to do mathematics research.
Of course, much of what MIRI hires mathematicians for is to do mathematics research.