NLIliad
UK
Research Engineer
IliadRemoteRemote
At Iliad, people research how to make powerful AI systems do what humans intend, and their pace often depends on how quickly rough test code becomes a reliable computation at scale.
AI safetySoftware engineeringResearchMid levelProof Engineer, Autoformalisation Engineer
IliadRemoteRemote
Mathematical research on the safety of AI systems depends on proofs that actually hold, and checking them by hand can cost researchers months.
AI safetySoftware engineeringResearchMid levelIliad Intensive
IliadUKTemporarily abroad
Research into how to keep powerful AI systems safe and predictable (AI safety) is a young field, and only a few people are working on its basic mathematical questions.
Programme · 4 weeksAI safetyResearchSoftware engineeringEntry levelIliad Fellowship
IliadUKTemporarily abroad
AI safety, the study of how to make powerful AI systems reliably do what people intend, is a young field with few mathematicians.
Programme · 26 weeksAI safetyResearchSoftware engineeringEntry levelTeacher, Teaching Assistant, or Writer
IliadRemoteRemote
Only a few people work on the question of how to make powerful AI systems do what we intend, and the field grows mainly through new people learning it.
AI safetyResearchCommunications and outreachMid level
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.