Opportunity type
Fellowship
Part-time role
Cause areas
AI safety & policy
Institutional decision-making
Routes to impact
Direct high impact on an important cause
Skill-building & building career capital
Skill set
Conceptual & empirical research
Software engineering
Organization building, boosting & running
Political & bureaucratic
Location
a remote-first organization with staff based primarily in the United States and the United Kingdom, and occasional European collaborators
Description
Theorem is building advanced tools to make software more correct, understandable, and secure, and is seeking engineers and researchers passionate about AI, programming languages, and security.
- Work on cutting-edge projects that push the boundaries of software correctness, program analysis, and formal reasoning.
- Join a team of experienced researcher-builders with backgrounds at top tech companies and research venues.
- Competitive compensation: ML research engineers and systems engineers ($150–250K + equity), ML research scientists and senior SWE ($300–500K + equity), and a 3–6 month research fellowship ($125K/year prorated).
- Collaborate in a high-impact environment focused on solving complex, meaningful problems.
Apply directly via this form: https://airtable.com/appFXEeK33hqSbnBD/pagmxpM5lUFzjjc8P/form
This text was generated by AI. If you notice any inconsistencies, please let us know using this form
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities