ML Research Scientist
Theorem
- Location
- Remote
- Type
- Full-time
- Compensation
- $200,000 – $500,000 per year
- Posted
- Jul 18, 2026
- Last checked
- Oct 13, 2026
Last seen in the source feed: Oct 13, 2026.
Application link last checked: Oct 12, 2026. The page matched this title; opening status remains unconfirmed.
Source listings can change. Check the employer's page for current availability and application requirements.
This role at a glance
- Pay. About $350,000 a year at the midpoint, more than 93% of the 220 open full-time AI Safety & Governance roles here that list pay (median about $170,000).
- Competition for attention. 315 open full-time AI Safety & Governance roles on Remote Impact right now, 23 of them posted in the last week.
- Theorem has 4 other open remote roles here: see them all.
Job description
A programming languages and AI lab building products to scale correctness feedback for AI software engineering at arbitrary complexity.
- Conduct research and develop products enabling AI models to perform software engineering tasks far beyond current human capabilities.
- Work on problems several orders of magnitude larger, faster, or harder than state-of-the-art; solve last-mile technical challenges.
- Join a team of engineers and researchers with backgrounds in cryptography, infrastructure, security research, and top-tier companies.
- Multiple roles available: ML research engineer, ML research scientist, software engineer, and 3–6 month research fellowship.
About Theorem
WebsiteTheorem is an AI company building systems capable of formal program verification to improve the reliability of all software.
Share
Tweet Share WhatsApp Email FacebookCover letter and interview prep
Draft a cover letter for this role or practise the questions you are likely to be asked.
Open application toolsWant more roles like this?
Describe what you want and get your strongest matching jobs by email.
Find matching jobsRelated searches
ML Research Scientist
Theorem