program synthesis Jobs

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…