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

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

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

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…