Lean Proof Contractor | EA Opportunities Board

The Effective Altruism

Opportunities Board

Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.

Add opportunity

Get notified

Add opportunity

Get notified about new roles

Lean Proof Contractor

DovetailRemote (United Kingdom)

Remote (United Kingdom)

1 month ago

AI safety & policy

Part-time

Full-time

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

View opportunity

Related opportunities