It’s a day job (or was, lost touch) for a couple people I have known. But it is a small niche.
1. https://www.darpa.mil/program/assured-micropatching
2. https://www.iarpa.gov/newsroom/article/annotated-malicious-b...
3. https://www.darpa.mil/program/recovery-of-symbolic-mathemati...