Program Synthesis Engineer

🕒 October 23, 2025

🇺🇸 United States – Remote

⏰ Full Time

🟡 Mid-level

🟠 Senior

👷🏻‍♀️ Engineer

👻 Ghost score 68%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

PlantingSpace

WebsiteLinkedInAll Job Openings

11 - 50 employees

🤖 Artificial Intelligence

☁️ SaaS

🏢 Enterprise

💰 Seed Round on 2021-11

Artificial Intelligence • SaaS • Enterprise

PlantingSpace is developing an advanced AI system that aims to represent knowledge and uncertainty to facilitate the discovery of insights and enable transparent problem-solving. The company is addressing the challenges of accessing and combining vast amounts of information spread across various mediums such as websites, databases, and scientific literature. Their system uses a probabilistic framework for reasoning and learning, making use of components like category theory, Bayesian statistics, and deep learning to improve the transparency and reliability of AI's reasoning capabilities. PlantingSpace's approach involves developing a universal language for representing heterogeneous information and employing a visual and natural language representation to make reasoning processes understandable. The company provides their AI services in various domains, acting as research assistants, analysts, or data scientists, and focuses on harnessing cutting-edge AI techniques to enhance analysis and problem-solving.

📋 Description

• 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

🎯 Requirements

• Designing and implementing complex, non-standard algorithms (graph theory, path finding, custom inference, compilers) • Experience in a collaborative, commercial software engineering environment, working on large codebases and using practices like CI/CD, testing, and code reviews • Implementation of program synthesis frameworks • Strong foundation in computer science algorithms and data structures • Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell • Profiling and low level performance optimisation • Mathematics, Computer Science, or Statistics advanced degree.

🏖️ Benefits

• Our team works fully remotely, and mostly within the CET timezone.