PlantingSpace is looking for a Program Synthesis Engineer to build the program synthesis pipeline for an AI system designed for analysts and scientists. In this role, you can choose how close to theory or the production system you want to work, gaining exposure to cutting-edge research.
What You'll Do
- 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.
What We're Looking For
- A builder at heart: passionate about building things, solving complex problems, and approaching challenges with an entrepreneurial spirit and humility.
- Results-driven: thrive when taking full ownership of tasks, seeing them through from start to finish, and taking accountability for the results.
- Growth mindset: intellectually curious, have a critical mind, and seek opportunities to stretch your abilities.
- A strong collaborator: naturally communicate with clarity and purpose, ensuring your ideas and updates are easily understood.
- Approaching problems and tasks like a project manager: can break down goals, solve problems systematically, involve others effectively, and document processes well.
Nice to Have
- 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.
Technical Stack
- Julia
- Rust
- OCaml
- Clojure
- C++
- Haskell
Work Mode
This is a global position.



