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