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.

At Amazon, we are on the lookout for passionate and skilled individuals to join our dynamic team. Our commitment to diversity, inclusion, and empowerment is at the forefront of everything we do. We believe in fostering an environment where every voi…