Systems Engineer
San Francisco, CA$150k - $250kFull-timePosted 11mo ago
About the role
Program verification-focused engineering role at Theorem, building software correctness feedback and formal reasoning interfaces to improve software safety and reliability.
Responsibilities
- Develop and maintain systems for program verification and correctness feedback
- Collaborate with researchers and engineers to scale analysis methods
- Engage in debugging, debugging coaching, and knowledge sharing
- Contribute to projects that are larger, faster, or harder than state-of-the-art
Qualifications
- Experience: Any (new grads ok)
Skills
Required:Software engineeringDebugging and troubleshooting
Nice to have:Communication / teachingResearch collaboration
Last updated Aug 26, 2026. Interested? Apply on the company site.
About Theorem
Program verification so even your systems engineers can vibecode
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!
machine-learning
More open roles at Theorem
- ML Research Engineer11mo agoHybrid (San Francisco, CA)
- Senior SWE11mo agoHybrid (San Francisco, CA) · Engineering
- ML Research Scientist11mo agoSan Francisco, CA · Engineering, Machine learning