Terrateam builds GitOps automation for Terraform and OpenTofu and is hiring a Software Engineer to work on its OCaml core, backend systems, infrastructure, and open source tooling. Responsibilities include supporting customers and contributing to Te…

I’m a generalist developer with a focus on Go and TypeScript, and experience across Svelte, React, and Vue. I’ve built and maintained several open-source projects (github.com/hayzamjs) and have a strong background in Linux/*BSD, cloud, bare metal, a…

We are hiring software engineer(s) to help innovate on applied agentic applications and governance/alignment at runtime. Specifically, you will help us release and further enhance https://github.com/eqtylab/cupcake - a solution derived from our Clau…

Chroma is an open-source database designed for AI. The team (~17 engineers) works in Rust, Python, TypeScript, and Go. Hiring across Database Storage, Distributed Systems, Product Engineering, Platform, and Product Design. Recent work includes launc…

Unto Labs is developing the Thru Layer-1 blockchain. The company recently announced $14.4M in funding and was founded by Jump Crypto alumni and contributors to the Solana protocol and the Firedancer client. Their runtime conforms to the RISC-V speci…

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 …