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. Location: Paris, France Remote: Yes, preferably hybrid Willing to relocate: Yes, for the right location Résumé/CV: … Continue reading New comment by whoshiring111 in "Ask HN: Who wants to be hired? (February 2024)" →