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…

Layer Health, founded in 2023 by machine learning researchers from MIT and Harvard Medical School, is building an AI layer to synthesize information from medical records to accelerate clinical registry abstraction and improve patient care. Headcount…

Silkline is hiring multiple full-stack or frontend engineers. Onsite in Chicago and Seattle (5 days/week). The company is building an AI-first platform to modernize hardware supply chains, initially focused on defense, space, and nuclear sectors. Re…