ENProof Engineer, Autoformalisation Engineer
IliadRemoteMondiale catastrofale risico’sAI-veiligheidSoftware engineeringOnderzoek
Deze functie staat op ons bord omdat we denken dat het een ongewoon effectieve manier is om een loopbaan te besteden. Zo redeneren we
Zit je niet vast aan Nederland? Kijk dan eerst bij 80,000 Hours, Probably Good en EA Opportunities — daar staan de sterkste kansen. Waarom we dit zeggen
Dit bord is nog in bèta. De reden die hieronder staat is ons oordeel — laat het ons weten als je vindt dat het niet klopt. Geef feedback
Waarom staat dit op het bord
Wiskundig onderzoek naar de veiligheid van AI-systemen hangt af van bewijzen die echt kloppen, en die met de hand nakijken kan onderzoekers maanden kosten. Als jij een systeem bouwt dat hun voorstellen omzet in bewijzen die een computer kan controleren (in de bewijstaal Lean), werkt elke onderzoeker die het gebruikt sneller en met minder kans op een verborgen fout.
Over de functie
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…
Voorwaarden
| Taal | Engels is genoeg |
|---|---|
| Werkvergunning | Sponsoring mogelijk |
| Screening | Niet vermeld |
| Werkplek | Op afstand · Remote |
| Niveau | Ervaren |
| Salaris | USD 170.000–USD 225.000 |
| Geplaatst | 25 september 2026 |
| Sluit op | Geen sluitingsdatum bekend |
Je gaat naar de website van de werkgever. Solliciteren doe je daar.
Wat vind je hiervan?
Het bord is nog in bèta, dus dit is precies het moment om te zeggen wat je ervan vindt. Een vacature die we missen, een oordeel dat je niet deelt, iets dat niet werkt — het helpt allemaal.
Wil je eerst meer weten?
Begin met onze gratis cursus van zo’n 100 minuten: zes korte delen, in je eigen tempo en zonder aanmelding (Engelstalig). Wil je daarna verder, meld je dan aan voor de EA Fellowship: vijf weken lezen en praten in een kleine groep. Ook gratis, maar selectief.