program synthesis Jobs

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 Con…

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 …

PlantingSpace is building an AI system for analysts and scientists using symbolic composition of algorithms and probabilistic computations (an alternative to LLM-only approaches) to provide verifiable reasoning and uncertainty estimates. They develo…