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: Available on request
Email: alix+hn@trieu.dev
Dblp: https://dblp.org/pid/174/4816.html