I have 14 years of professional experience in software development, including 8 years of practice with functional programming in Haskell, Erlang, and OCaml. I’

I have 14 years of professional experience in software development, including 8 years of practice with functional programming in Haskell, Erlang, and OCaml. I’m interested in the application of formal methods to real-world problems. At present, I’m dividing my time between freelance consulting and research in modal logic and type theory. Location: Cambridge, UK Remote: Yes Willing to relocate: Maybe Technologies: Agda, Haskell, PureScript, Elm, OCaml, Erlang, Python, JavaScript, C/C++ Short CV: https://mietek.io/cv/ https://mietek.io/cv/ Full CV: https://dl.dropboxusercontent.com/u/95029/hn-june-16.pdf https://dl.dropboxusercontent.com/u/95029/hn-june-16.pdf Email: hn-june-16@mietek.io