NLProof Engineer, Autoformalisation Engineer
IliadRemoteGlobal catastrophic risksAI safetySoftware engineeringResearch
This role is on our board because we think it is an unusually effective way to spend a career. How we reason about it
Free to leave the Netherlands? Look at 80,000 Hours, Probably Good and EA Opportunities first — the strongest opportunities are there. Why we say this
This board is still in beta. The reason below is our judgement — tell us if you think we have it wrong. Give feedback
Why this is on the board
Mathematical research on the safety of AI systems depends on proofs that actually hold, and checking them by hand can cost researchers months. If you build a system that turns their proposals into proofs a computer can check (in the proof language Lean), every researcher who uses it works faster and with less chance of a hidden error.
About the role
Build and operate an autoformalisation engine using LLM agents to turn mathematical research proposals into formal Lean programmes. - Work with researchers to understand proposals and identify mathematics requiring formalisation into formal programme specifications. - Own engine operation, debugging, and optimisation to ensure definitions and theorems faithfully represent research objectives. - Help researchers use formal programmes for calculations, equation solving, and technique applicatio…
Requirements
| Language | English is enough |
|---|---|
| Work authorisation | Sponsorship available |
| Screening | Not mentioned |
| Where you work | Remote · Remote |
| Level | Mid level |
| Salary | USD 170.000–USD 225.000 |
| Posted | 25 September 2026 |
| Closes | No closing date given |
This takes you to the employer’s own site, where you apply.
What do you make of this?
The board is still in beta, so this is exactly the moment to say what you think. A vacancy we have missed, a judgement you do not share, something that does not work — all of it helps.
Want to understand this first?
Start with our free course: about 100 minutes in six short units, at your own pace, with no sign-up. To go further, apply for the EA Fellowship: five weeks of reading and discussion in a small group. Also free, but selective.