Location: Samara, RU<p>Remote: ok<p>Willing to relocate: yes!!!<p>Technologies: C, POSIX, Haskell, client-side web, …<p>Résumé&#x2F;CV: <a href="http:&#x2F;&#x2F;lelf.lu&#x2F;resume" rel="nofollow">http:&#x2F;&#x2F;lelf.lu&#x2F;resume</a>, <a href="https:&#x2F;&#x2F;github.com&#x2F;llelf" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;llelf</a><p>Email: me AT lelf.lu<p>Any mix of functional programming (Haskell, Scala, OCaml, F#),
verification (junior-level Coq),
modern client-side web (preferable PureScript&#x2F;Elm&#x2F;Haste),
GNU&#x2F;Linux &#x2F; *BSD &#x2F; C programming.