Research Engineer - Formal Methods & Reasoning

🚨 Research Engineer – Formal Methods & Reasoning 📍 San Francisco, CA | Onsite 🧠 Early-stage AI research lab | Revenue-generating An AI research lab focused on alignment, interpretability, and reinforcement learning is hiring engineers to explore how ideas from formal methods, programming languages, and verification can help us better understand and constrain model behavior This is a highly research-driven role focused on bringing rigorous systems thinking into frontier AI alignment work You’ll work on: ⚙️ Applying formal verification & program analysis ideas to model internals 🧠 Building structured reasoning frameworks for interpretability research 🔍 Exploring compiler-style abstractions for neural computations 🛠️ Developing tooling that combines interpretability with verification-inspired constraints 📊 Prototyping “verification-adjacent” safety guarantees for AI systems 🚧 Shaping an entirely new research direction inside the lab Strong backgrounds include: ✅ Programming languages research ✅ Compilers or systems engineering ✅ Formal verification / theorem proving ✅ Security research or operating systems ✅ Research engineering with strong abstraction skills PhD strongly preferred, but deep technical creativity matters most This is not: ❌ Traditional enterprise verification work ❌ Pure theory with no implementation ❌ Large-scale ML infrastructure or training engineering The environment is small, technical, and highly experimental - ideal for people who enjoy building research systems from scratch and applying rigorous reasoning tools to frontier AI problems Interested? Hit Apply & Drop me a message!