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.
Remote: Yes
Willing to relocate: Insdide of europe
Technologies: Haskell, Coq, Idris, Clojure, PostgresSQl, Nix, Java, Racket, f#, Python
Resume: by request
Email: [email protected]
Gitlab: https://gitlab.com/StillerHarpo
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.