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: <a href="
Full CV: <a href="
Email: REDACTED_EMAIL