[xenocratus]

Just a note, you'll also find research like this, even if not as "visible", at most heavily-tech firms: FAANG, Arm, Intel... Though it's quite a niche area still, I get a bit claustrophobic when I think about just how few jobs are relevant to the kind of research engineering that I want to do. :)

[woodruffw]

Absolutely! This work is by no means limited to the firm that I work for or others in our sphere; it's just the small group I'm familiar with. I happen to know for a fact that Meta, Google, etc. all have excellent security and program analysis research teams (although I'd also say that the smaller firms in this space punch above their general weight class :-)).