Theorem
Work at Theorem?
About Theorem
Theorem is an AI and programming languages research lab based in San Francisco. It has developed cryptography that secures trillions of daily internet connections and has helped nonprofits raise tens of millions of dollars. The team includes alumni from Jane Street, Google, and Microsoft, and Theorem publishes research at NeurIPS, ICML, POPL, and ITP. Its mission is to make the future of software correct, understandable, and secure, and its approach is to write software correctness feedback that scales with the complexity and volume of code to make software provably safe and reliable. Theorem has also built experimental educational programs serving hundreds of students.
Company at a glance
Location
Culture & values
Theorem values software correctness, understandability, and security as core principles.
Theorem focuses on building software correctness feedback that scales with increasing complexity and code volume to make software provably safe and reliable.
Theorem emphasizes an impact-driven culture that values rigorous, research-informed work.
Life at Theorem
Frequently asked questions
Companies similar to Theorem
Arbio, headquartered in Berlin, Germany, is building an AI-native property management platform for short-term rentals across Europe. It currently manages over 1,000 apartments and operates real properties in Berlin, Hamburg, Vienna, and Leipzig, with plans to expand to additional European cities. The company has raised a $36 million Series A funding and maintains an engineering team of five engineers. Arbio’s platform uses AI to observe, decide, and act on real-world property operations with humans in the loop, enabling AI-assisted management of short-term rental properties across Europe.
The company aims to make building affordable by leveraging AI to analyze blueprints. It focuses on building computer vision object detection models and coordinating these models, with an emphasis on ML and algorithm development. The company states it prioritizes the intelligence side (ML and algorithms) over the application side. Backed by investors who have funded PlanGrid, Dropbox, and Airbnb, it has strong backing. It is part of Y Combinator's Winter 2025 batch (YCW25).
Cortex builds AI systems designed to accelerate hardware engineering work, enabling companies to compress development timelines from years to months. Co-founded by Vidhan and Eashaan Gunapati, the company serves customers in power electronics, motion control, medical devices, and industrial equipment. Cortex operates through a unique model that combines AI-driven engineering capabilities with the acquisition and operation of engineering firms. The company, which raised its seed round in July 2026, is led by founders with deep expertise in manufacturing and AI—Vidhan is a third-generation manufacturing operator who previously scaled a medical-device startup to 45 hospitals, while Eashaan brings experience building AI products in autonomous vehicles and leading digital transformation initiatives in manufacturing.