Formal Methods Scientist

I am a scientist working on formal methods applied to security, especially at the software/hardware boundary. I have experience in formally verified compilation and software formal verification applied to cryptography. I am looking for applied/research scientist positions in industry.