Overview
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 in symbolic ways, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty. We envision applications supporting and automating analysis and research in domains such as Finance, Strategy Consulting, Engineering, Material Sciences, and more.
We are looking for strong software engineers to contribute to development across our internal systems and core application. You will be able to choose how close to theory or production system you want to work, and be exposed to cutting edge research in Bayesian statistics, dynamical systems, information theory, category theory, and more.
Our team works fully remotely, and mostly within the CET timezone.
Useful experience
- Implementation and analysis of algorithms
- Production backend software engineering
- Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell
- Symbolic computing (graph theory and algebra)
- Profiling and low level performance optimisation
- Package development (implementation of algorithms from scratch, choice of data structures and interface design)
- Mathematics, Computer Science, or Statistics advanced degree
Responsibilities
- Design new software features to extend the system in predefined directions
- Implement clean and performant code
- Contribute to defining development directions, based on a keen awareness of overall objectives and challenges
- Collaborate effectively with other engineers and researchers
- Write comprehensive tests
- Write design documents, and devise implementation strategies for more complex problems
On our website you can find more about our team and work culture, as well as example tasks that share some insight into the type of things team members are working on.