Remote (Global) Full-time

PlantingSpace is hiring a Program Synthesis Engineering

About the Role

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.

Required Skills
JuliaRustOCamlClojureC++HaskellProgram SynthesisCompiler DesignFormal MethodsFunctional ProgrammingSystems ProgrammingSoftware Engineering
Got hired remotely?

Get paid like a professional

Remote clients expect company invoices, not personal PayPal requests. Glopay forms an EU partnership that makes you look legitimate while you stay independent.

Professional invoices with EU company details
Compliance handled automatically
Withdraw to any bank account
Income reports for easy tax filing
Create free account
Free signup • 5 min setup
About company
PlantingSpace

A technology-focused organization working on innovative research and technological solutions, with a focus on academic and technological expertise.

Visit website
Job Details
Category other
Posted 8 months ago