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

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/