You should consider hiring my extremely smart close friend Chris McNally, who just completed his PhD at MIT doing quantum type theory/compilers. His advisor and his labmates were freely describing him as literally the smartest person in the group, and he's looking for jobs right now!
He might sign one offer, but he's looking at other options before he signs. If you can interview him and do your whole process in <2 weeks, I highly recommend folks talk to him right now, it's a great opportunity to snap him up for some mathy softwarey role.
Feel free to DM me, and I can pass on his resume, and put you in touch with him.