Location: Bergen, Norway (Swedish national)
  Remote: Yes
  Willing to relocate: No
  Technologies: Haskell, Python, Agda, Coq, Lean
  Expertise: Type theory, category theory, functional programming
  Résumé/CV: https://login.yoursecurecloud.de/f/809e6eb94cee40828764/?dl=1

  I am about to finish a PhD in type theory. I have 5+ years of experience in
  functional programming and formal verification, together with experience in
  larger software projects. Currently looking for jobs in either FP (preferrably
  Haskell), or formal verification. More details can be found in my CV.
  Email: found in my CV