Effective altruism
opportunities board
Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.
Routes to impact
Direct high impact on an important cause
Skill-building & building career capital
Description
A contract role for an experienced Lean theorem prover to support Dovetail's mathematical AI safety research, converting proofs, developing Mathlib extensions, and assisting with AI-assisted proof search.
- £50/hour (negotiable), remote, with full-time preferred but flexible arrangements considered
- Work spans formalising published papers in Lean, developing conjectures into Lean propositions, and building/maintaining Mathlib extensions across domains including dynamical systems, probability theory, and computability theory
- Three-month experimental period with potential to transition into a long-term team role
- Visa/residency requirement: Applicants must be resident and eligible to work in the UK due to funding conditions (ARIA-funded project)
Apply via the Google application form; questions can be directed to Dovetail via their contact page.
This text was generated by AI. If you notice any inconsistencies, please let us know using this form
Related opportunities
Research Scientist
Truthful AIBerkeley, California (preferred) or remote (US or international)
6 days ago
Research Scientist/Engineer (Science of Scheming)
Apollo Research London (in-person: visa sponsorship available)
1 month ago
AI Safety Research Scientist
Beneficial AI FoundationRemote from anywhere or Cambridge, Massachusetts
1 month ago
List of Internship & Residency Programs – ML and Software Engineering [Compiled by 80,000 Hours]
80,000 Hours (80K)Mixed Locations
8 months ago
Submit Your Profile to the High-Impact Talent Directory
High Impact Professionals (HIP)Remote
8 months ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities