# Program Synthesis Engineering

**Company:** [PlantingSpace](https://hotfix.jobs/companies/plantingspace)
**Location:** Remote
**Role:** Backend Engineering
**Skills:** Program Synthesis, Graph Theory, Path Finding, Custom Inference, Compilers, CI/CD, Julia, Rust, Ocaml, Clojure, C++, Haskell, Algorithms, Data Structures
**Posted:** 2025-07-10

> Builds program synthesis pipeline for modular probabilistic models in finance and research applications. Requires experience with complex algorithms like graph theory and compilers, plus collaborative software engineering practices.

## Job Description

## Responsibilities
- 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

## Essential Experience
- 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

## Useful Experience
- 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

## Similar roles

- [Backend Engineer](https://hotfix.jobs/jobs/b1af6614-7e82-451b-b33a-6e7723bb589c) - Scribe - San Francisco, CA - $140k – $185k/yr
- [Software Engineer, Codex -Enterprise Controls](https://hotfix.jobs/jobs/9fc148ac-afcb-4558-a41e-a772e8869a71) - OpenAI - San Francisco, CA - $230k – $385k/yr
- [Software Engineer III](https://hotfix.jobs/jobs/a91a8070-ade4-411a-a538-be8c46e121ab) - ZoomInfo - Bethesda, MD - $112k – $176k/yr
- [Software Engineer, Upstart Bank](https://hotfix.jobs/jobs/5dbad557-7d4b-47a1-a575-68c16e632c5f) - Upstart - Remote - $14k – $187k/yr
- [Software Engineer, Workers Deploy & Config](https://hotfix.jobs/jobs/373e862c-92c6-4938-907d-a09a407f2835) - Cloudflare - New York, NY - $150k – $206k/yr

**Apply:** https://hotfix.jobs/jobs/ad6cbbc8-9786-494a-84f2-0aa4ad364278
**Canonical:** https://hotfix.jobs/jobs/ad6cbbc8-9786-494a-84f2-0aa4ad364278