program synthesis Jobs - April 2026

PlantingSpace is building a system representing domain knowledge as modular probabilistic models that can be flexibly connected, enforcing consistency and propagating uncertainty. Initial applications target finance and scientific research (equity valuation, …

Building a deep-tech AI system focused on symbolic composition of algorithms and probabilistic computation for verifiable reasoning and uncertainty assessment. Applications target Finance, Strategy Consulting, Engineering and more. Hiring for Engineering Lead…

Neoteny AI is building the sovereign intelligence layer for code. We are a team of builders from Meta, AWS, and NYU who believe that the future of coding intelligence is not a generalist chatbot in the cloud, but a specialized, repository-aware model that liv…

We’re building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. Our approach differs from LLMs in that we compose algorithms symbolically to represent complex knowledge, and perform pro…

PlantingSpace is building an AI system for analysts and scientists using symbolic composition of algorithms and probabilistic computations for verifiable reasoning and uncertainty assessment. Applications target domains such as Finance, Strategy Consulting, E…

I am looking for a postdoctoral fellow interested in the intersection of programming languages and artificial intelligence, in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program sy…