Research Fellowship
Theorem
Last seen in the source feed: Sep 22, 2026.
Source listings can change. Check the employer's page for current availability and application requirements.
Posted
Aug 12, 2026
Location
Remote
Type
Full-time
Job description
Role details
A programming languages and AI lab researching how AI systems can perform complex software engineering tasks at scale.
- Conduct research on scaling correctness feedback for AI-driven software development beyond current capabilities.
- Work on cryptography, infrastructure, or security systems; identify novel zero-days and vulnerabilities.
- Collaborate with engineers and researchers experienced in top-tier companies and academic venues.
- Requires strong software engineering fundamentals and comfort tackling unsolved, high-impact problems.
- Three to six month research fellowship available.
About
Inside Theorem
Theorem is an AI company building systems capable of formal program verification to improve the reliability of all software.