5 of 5 Permanent Haskell Jobs in the UK

Azure. Managing CI/CD environments using GitHub Actions. Building production artefacts using tools such as Docker. Functional programming languages such as Haskell, F# or Elm. Building or working with more complex AI-enabled workflows beyond simple prompting. You’ll excel if you are Excited by complex technical domains ...

with evidence of taking significant technical ownership Excellent proficiency in at least one modern programming language — examples include Rust, Elixir, Python, C, Java, F#, Haskell or similar Strong foundations in software design, including both functional and object-oriented approaches Experience designing and building concurrent, parallel or distributed systems Experience working ...

problems. Who you are You’ll have experience with functional programming. Familiarity with Elixir is a plus, but other languages like Scala, GoLang, Node.js, Haskell, Clojure, and F# are also great. Infrastructure management experience at scale; ideally you should be comfortable in using AWS and terraform. An understanding of queue ...

developer tools Experience in rapid prototyping environments Programming polyglot experienced in several languages of different paradigms (e.g.: JavaScript/TypeScript, Python, C or C++, Haskell, etc.) Experience collaborating with AI researchers and bridging between research-focused and engineering-focused teams Experience building & scaling REST APIs , particularly those conforming to JSON ...

explain proof strategy and formalization choices precisely. Nice to have: experience with other proof assistants or dependently typed languages (Coq/Rocq, Isabelle, Agda, Haskell), Lean metaprogramming, or AI-for-math work such as LLM provers, Lean agent environments, or benchmarks like miniF2F, ProofNet or PutnamBench. You don't need ...