Building coding agent systems and an agentic cloud. Small senior team (ex-DeepMind, OpenAI, Microsoft Research, Amazon, Cambridge University; multiple PhDs). Work includes distributed systems, OS/sandboxing, ML and LLM inference/post-training, long-…

At AIRMO we're building the single source of truth for GHG emissions data, starting with methane. We are developing a suite of active and passive optical sensors for UAS, aircraft and satellite platforms, and are planning to launch our first satelli…

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 …

Generative AI is rewriting how organizations use data, and breaking traditional security models in the process. We’re a team of cybersecurity, AI, and systems experts building the foundation for secure, trustworthy AI in the enterprise. We're lookin…

My team at Adobe is hiring senior engineers to scale the Real-Time Customer Data Platform, which processes trillions of events to power real-time personalization for global brands. This is deep, low-latency distributed systems work — not typical ent…

Goblins is an education tech startup building AI-driven tools that provide individualized feedback to students working on math problems. The product supports drawing math on any device, analyzes student work to identify misunderstandings, and delive…