This kind of talent is ... not rare at all? And pretty easy to find too, just wander around the hallways at a major academic systems conference or hang around the kernel mailing lists, you'll meet most of the people working at the cutting edge of these things and get connected to those working on critical systems components. And yes, most of them work for FAANG or are funded by them.

Seriously, book a plane ticket to ATC/OSDI, EuroSys, etc and talk to all the people there. The good ones are already hired by one of the big established players (FAANG, Red Hat, Intel, etc), which is why you need to offer competitive compensation to lure them away.