Program synthesis Jobs - January 2026
Search by company, role, stack, location, salary signal, source, and work setup.
-
PlantingSpace
Technical Project Manager
Posted 8 months, 2 weeks ago
We’re building an AI system for analysts and scientists using symbolic composition of algorithms and probabilistic computations to enable verifiable reasoning and uncertainty assessment. Developing applications for Finance, Strategy Consulting, Engineering, M…
Roles
Tech stack
Location
Remote (EU time zone), Quarterly meet-ups
Compensation
Full-time positions, remote (EU time zone) with quarterly in-person meet-ups. No salary or other benefits specified.
-
Columbia University
Technical Writers
Posted 5 years, 3 months ago
I’m starting a research team at Columbia University. Please get in touch if you are interested in working in an academic environment at the cutting edge of probabilistic programming, causal inference, program synthesis and machine learning. All levels of expe…
Tech stack
Automated / interactive theorem proving Technical writing Grant writing The Julia programming language Machine learning Probabilistic programming Bayesian inference Model based and model free planning and reinforcement learning Compilers and program analysis Structural causal modeling Program synthesis -
NY University
Research Engineer
Posted 5 years, 9 months ago
I’ll be starting a research team within a NY University. Please get in touch if you are interested in working in an academic environment at the cutting edge of probabilistic programming, causal inference, program synthesis and machine learning. All levels of…
-
Synthetic Minds (YC S'18)
First non-founder engineer
Posted 7 years, 10 months ago
We're building program synthesizers, i.e., automation that can write code. We have an MVP in production that reads/writes smart contracts (small, permanent apps) in Ethereum's Solidity language, used to ensure customers' code is secure and correct. Synthesis …
Location
San Francisco, CA