The 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
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities