Careers · Theorem
theorem.dev · 235 words · saved by 1 readers
Join Theorem — we’re building products to make software correct, understandable, and secure.
Join Us Theorem is a programming languages and AI lab. We expect that infinite time-horizon AI software engineering will be qualitatively different from faster human software engineering. To steer models doing work far beyond what any human has ever done, we do research and build products that scale correctness feedback to arbitrarily complex software development. Who we are We're a team of engineers and researchers who genuinely love software. We've developed cryptography which secures trillions of internet connections daily, built infrastructure powering billions of dollars of transactions,
related reading
- Thinking Machines Labthinkingmachines.ai
- Together AI | The AI Native Cloudtogether.ai
- Careersfulcrum.inc
- About Ussoftware.inc
- It's time to become an ML engineer • Greg Brockmanblog.gregbrockman.com
- Join the Lab | Andon Labsandonlabs.com
- AI Will Write All the Code. Mathematics Will Prove It Works.menlovc.com
- Join Us in Building the AI Stack for Industrial Engineering at Mistrallinkedin.com
- Join the Zed Teamzed.dev
- Workshop Labs is Joining Thinking Machinesworkshoplabs.ai
- Ai2: Truly open breakthrough AIallenai.org
- principia labsprincipialabs.org