Building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. Designing and building a production programming language with complete mechanized formal specifi…

We are building a new programming language (BAML) to build AI agents — the "typescript" for LLMs. Open source: https://github.com/BoundaryML/baml. Focus on tooling for visualizing non-deterministic code, code visualization, and strong observability …

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 …

We are building a fundamentally new programming language for authoring high performance machine learning kernels on AMD GPUs and the rest of our hardware portfolio. To enable this, we are looking for a wide variety of roles ranging from GPU performa…

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers…

Looking for generalists and those with a wide variety of frontend experience. Working with LLMs and programming languages. In person 2-3 days a week. Current team is engineers with >20 years experience.