The Effective Altruism
Opportunities Board
Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.
Proof Engineer, Autoformalisation Engineer
IliadBerkeley, CA preferred / Remote (US/UK)
Berkeley, CA preferred / Remote (US/UK)
Yesterday
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.>
Related opportunities
Engineering Manager, AI Observability
AnthropicSan Francisco, CA
San Francisco, CA
1 day ago
Research Scientist, Gemini Safety and Behaviour
Google DeepMindNew York, NY / Mountain View, CA
New York, NY / Mountain View, CA
1 day ago
Research Scientist, Applied White-Box Methods
FAR.AIBerkeley, CA
Berkeley, CA
1 day ago
Research Engineer / Research Scientist, Remote Compute Accounting
Singapore AI Safety Hub (SASH)Remote (UK / Singapore)
Remote (UK / Singapore)
2 days ago
Research Engineer / Research Scientist, Zero-Knowledge Verification
Singapore AI Safety Hub (SASH)Remote (UK / Singapore)
Remote (UK / Singapore)
2 days ago
Research Engineer, Responsible Frontier AI Research
Google DeepMindLondon, UK
London, UK
2 days ago
Research Scientist, Safety Oversight
Google DeepMindMountain View, CA
Mountain View, CA
4 days ago
AI Research Scientist, Safety
Bosch ResearchSunnyvale, CA
Sunnyvale, CA
4 days ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities