Theorem

You'll build **program verification tools** that make software **correct and secure**, working on a small team at the intersection of AI and formal reasoning. Your work will help raise the ceiling on what software engineers can achieve through automated correctness feedback.

You'll advance **program verification** and **formal reasoning** for AI models, building tools that make software correctness scale. Your work will help machines understand code at compiler-level depth. **Theorem** is a YC-backed startup with a small, high-impact team.

You'll build **post-training models** for program analysis and formal reasoning, and create **interfaces for navigating complex code implementations**. Your work will make software provably safe and reliable, raising the ceiling on AI-assisted engineering.

You'll work on **program verification** tools that make software **correct, understandable, and secure**. Your impact will scale correctness feedback with complexity and volume of code. This role combines **AI post-training** and **compiler-level reasoning** to raise the ceiling of software engineering.