Program Synthesis Engineering with Haskell

We are developing an AI platform for analysts and scientists that uses a fundamentally new method for reasoning and knowledge representation. Unlike current large language models, our approach combines symbolic algorithms to enable advanced features such as multi-step analysis, transparent reasoning paths, and uncertainty evaluation. Our technology aims to support and automate research and analysis across fields like Finance, Strategy Consulting, Engineering, and Material Sciences.

We’re seeking skilled software engineers to help build our program synthesis pipeline. You’ll have the flexibility to work close to theoretical concepts or focus on the production system and gain exposure to cutting-edge research in areas like Bayesian statistics, dynamical systems, information theory, and category theory.

Valuable experience includes:

• Building program synthesis frameworks

• Algorithm development and analysis

• Backend production engineering

• Experience with Julia or other functional/typed languages such as Rust, OCaml, Clojure, C++, or Haskell

• Symbolic computing (graph theory, algebra)

• Performance profiling and optimization

• Advanced degrees in Mathematics, Computer Science, or Statistics

Responsibilities:

• Identify and implement new features or bug fixes aligned with project goals

• Deliver end-to-end solutions with ownership

• Develop implementation strategies

• Collaborate effectively with team members

• Produce design documentation for complex challenges

• Write clean, efficient code

• Support teammates in achieving their objectives

Key qualities we value:

• A builder mindset with a passion for solving tough problems and an entrepreneurial approach

• Results-oriented, taking full ownership and accountability for tasks

• Growth mindset, curious and critical, continuously seeking to deepen knowledge

• Strong collaborator who communicates clearly, embraces iteration, and welcomes feedback

• Project management skills: breaking down goals, systematic problem-solving, engaging others for input, and thorough documentation to enable smooth handoffs

Want to learn more?
Explore our website to see our team, culture, and example projects:

• What we do: https://planting.space/

• How we work: https://planting.space/org/

• Team culture and sample tasks: https://planting.space/joinus/

We work fully remotely, mainly operating in the CET timezone.