1 to 25 of 40 OCaml Jobs in the UK excluding London

semantics, Python type hints, and the CPython interpreter. Experience with at least one compiled language and its type system, e.g. C++, Julia, Rust, Haskell, OCaml, etc. Experience with Static Single Assignment intermediate-representation-based compiler development. Knowledge of the full lifecycle of software development, including version control, code review, testing ...

grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else is in it for you? • Software Engineers are treated as the company's #1 ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...

extending SSA-based compiler infrastructure • Comfortable working across IR design, lowering, optimisation, and code generation • Experience in at least one compiled language (C++, Rust, OCaml, Julia, etc.) • Deep understanding of Python semantics and interpreter behaviour This is one of the few opportunities where compilers are a core architectural driver ...