Proof Engineer, Autoformalisation Engineer
IliadBerkeley, CA preferred / Remote (US/UK)
AI safety & policy
Full-time
AI safety & policy
Full-time
Salary
$170,000–$225,000
Routes to impact
Direct high impact on an important cause
Description
Build and run an autoformalisation engine that turns research proposals into faithful formal programmes in Lean.
- Work with researchers to clarify proposals and identify mathematics to formalise
- Produce definitions, infrastructure, and theorem statements specifying research programmes
- Own engine operation, debugging, and optimisation for faithful, useful formal programmes
- Help researchers use formal programmes for calculations, equations, and applying existing techniques
This text was generated by AI. If you notice any inconsistencies, please let us know using this form.>
