Location: Paris, France
Remote: Possible
Willing to relocate: Not immediately but we can discuss it.
Technologies: OCaml, Haskell, Python, C
Resume: <a href="http://www-apr.lip6.fr/~millon/cv-emillon.pdf" >
Github: <a href="https://github.com/emillon" >
Blog: <a href="http://blog.emillon.org/" >
Email: me AT emillon DOT org
My background is in security &amp; 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!