Remote: Possible
Willing to relocate: Not immediately but we can discuss it.
Technologies: OCaml, Haskell, Python, C
Resume: http://www-apr.lip6.fr/~millon/cv-emillon.pdf
Github: https://github.com/emillon
Blog: http://blog.emillon.org/
Email: me AT emillon DOT org
My background is in security & formal methods. In my PhD thesis I wrote a type inference system to detect security bugs in the Linux kernel. I'm passionate about open source and contribute quite a lot to Debian.
Happy to chat with you about cool opportunities!
Remote: Possible
Willing to relocate: Not immediately but we can discuss it.
Technologies: OCaml, Haskell, Python, C
Resume: http://www-apr.lip6.fr/~millon/cv-emillon.pdf
Github: https://github.com/emillon
Blog: http://blog.emillon.org/
Email: me AT emillon DOT org
My background is in security & formal methods. In my PhD thesis I wrote a type inference system to detect security bugs in the Linux kernel. I'm passionate about open source and contribute quite a lot to Debian.
Happy to chat with you about cool opportunities!