We are a research & development startup building a system which accurately represents knowledge and uncertainty, to enable the discovery of insights and transparent problem solving. Currently we’re focussed on sustainably growing our team in the areas of software development, research, operations and business development. Check out our job page for our full list of opportunities and the skill sets we’re searching for: https://planting.space/joinus/ What matters to us are outcomes, not when and from where our team members work, so positions are remote and not bound to exact work hours. We automate as much as we can, so that we can focus on problems that require creativity, analytical thinking and problem-solving. We regularly meet in nice places to work and have fun together. We believe in co-ownership and aligned incentives, so team members can become shareholders of the company. Learn more about our ways of work, and values on our website: https://planting.space/

Job description

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 build our program synthesis pipeline. You will be able to choose how close to theory or the 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 of program synthesis frameworks

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

Mathematics, Computer Science, or Statistics advanced degree

Responsibilities

Define new features or fixes, based on awareness of overall objectives and challenges

Commit to delivering defined features or fixes end-to-end

Define implementation strategies

Leverage the expertise of other team members effectively

Write design documents for more complex problems

Write clean and performant code

Help other team members to deliver on their goals

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.

What we do: https://planting.space/ Ways of work: https://planting.space/org/ Team culture and example tasks: https://planting.space/joinus/

Required profile