Skip to content
PlantingSpacePlantingSpaceUnited States

Program Synthesis Engineering

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.

Salary not listed
RemoteBackend Engineering

About the role

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

Skills

Program SynthesisGraph TheoryPath FindingCustom InferenceCompilersCI/CDJuliaRustOcamlClojureC++HaskellAlgorithmsData Structures
Scribe

Backend Engineer

ScribeSan Francisco, CA

Backend Engineer building and optimizing core document workflows (viewing, editing, embeds, exports) and greenfield projects in a Django monolith. Requires 3+ years backend experience, strong Python skills, performance optimization, and automated testing.

140k – 185k/yr
Hybrid3+ YOEBackend Engineering
OpenAI

Software Engineer, Codex -Enterprise Controls

OpenAISan Francisco, CA

Build and operate the enterprise control plane for OpenAI's Codex AI software engineer, focusing on security, governance, identity, access controls, encryption, and policy enforcement systems for large organizations.

230k – 385k/yr
Hybrid5+ YOEBackend Engineering
ZoomInfo

Software Engineer III

ZoomInfoBethesda, MD +1

Software Engineer III designing, building, and maintaining scalable backend systems with Java, Node.js/NestJS, Kafka, and cloud technologies (AWS/GCP). Requires Master's in CS + 2 years (or Bachelor's + 4 years) backend experience, microservices, databases, and REST APIs.

112k – 176k/yr
Hybrid4+ YOEBackend Engineering
Upstart

Software Engineer, Upstart Bank

UpstartUnited States

Software Engineer building scalable backend systems, services, and APIs for Upstart Bank, a modern AI-enabled national bank. Translate regulatory and business requirements into reliable software in a fintech environment; 4+ years backend/full-stack experience required.

14k – 187k/yr
Remote4+ YOEBackend Engineering
Cloudflare

Software Engineer, Workers Deploy & Config

CloudflareNew York, NY +4

Build and scale the control plane for Cloudflare Workers, the serverless edge platform. Design distributed systems, high-traffic APIs, storage schemas, and own production reliability for services powering Pages and R2. Requires strong Go experience plus knowledge of observability, databases, and Kubernetes.

150k – 206k/yr
On-site5+ YOEBackend Engineering