2 of 2 Permanent OCaml Jobs in Oxford

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 ...

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 ...