Position: Developer
Category: Other
English level: fluent
Years of experience: 4

http://lelf.lu/resume
http://github.com/llelf
C + POSIX programming
Haskell / functional programming
Client-side web
Very interested in dependent types and verification
My dream job would be in software verification / Coq / Isabelle