Location: Germany, BW
Remote: Yes
Willing to relocate: Insdide of europe
Technologies: Haskell, Coq, Idris, Clojure, PostgresSQl, Nix, Java, Racket, f#, Python
Resume: by request
Email: REDACTED_EMAIL
Gitlab: <a href="
I finished my master in computer science last month.  I currently work at a small software company which is specialized in functional programming.  During my time at the university I focused on functional programming and type theory.  I'm looking for a job where I can apply my knowledge in this areas.  I'm most experienced in Haskell and would prefer a job why I can use it.