programming languages Jobs - May 2026

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 specifications an…

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 (runtime t…

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 program sy…

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 performance expert…

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 or VMs. W…

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.