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…

I am considering starting an AI/ML research company in the field of neurosymbolic programming (which sits at the intersection of deep learning, program synthesis and probabilistic programming). The goal is to be 100% focused on producing research th…

Basis is a new organization founded by leaders in causal probabilistic programming and probabilistic machine learning. Our mission is to automate reasoning and learning to accelerate scientific and societal progress. We're looking for exceptional pe…

Basis is a new organization founded by leaders in causal probabilistic programming and probabilistic machine learning. Our mission is to automate reasoning and learning to accelerate scientific and societal progress. We're looking for exceptional pe…