Location: Samara, RU
Remote: yes
Willing to relocate: yes!!!
Technologies: Haskell / FP / C / POSIX / some client-side web
Résumé/CV: <a href="
Email: REDACTED_EMAIL
My areas are: functional programming, applied math, C + POSIX, client-side web. Recently I started to be very interested in Coq &amp; dependent types.