Program Synthesis Engineering

We are building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. We go beyond state-of-the-art LLMs by combining algorithms symbolically, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty.

Requirements

• Designing and implementing complex, non-standard algorithms (graph theory, path finding, custom inference, compilers)
• Experience in a collaborative, commercial software engineering environment, working on large codebases and using practices like CI/CD, testing, and code reviews
• Implementation of program synthesis frameworks
• Strong foundation in computer science algorithms and data structures
• Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell
• Profiling and low level performance optimisation
• Mathematics, Computer Science, or Statistics advanced degree