programming languages Jobs

Established (20+ years) private company hiring mature generalist engineers and developers to work remotely full-time. Candidates must be self-motivated, able to work independently, strong in written and verbal English, comfortable with Unix, experie…

Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions f…

VDX.tv | Remote Engineers & Developers | Full-time | REMOTE. Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you: are self-motivated and can work independently; drive…

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 …