The Effective Altruism
Opportunities Board
Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.
Senior Research Associate, Logic and Programming Languages for AI Safety
University of BristolBristol, UK
Bristol, UK
3 days ago
Deadline
2026-08-18
Salary
£43,482 – £50,253
Routes to impact
Direct high impact on an important cause
Description
Conduct research on formal methods for improving AI safety through logic and programming languages.
- Develop theoretical foundations for specifying and verifying AI systems.
- Design and evaluate software tools for formal reasoning where appropriate.
- Publish research and present findings at conferences and seminars.
- Collaborate with researchers across the safeguarded AI community.
This text was generated by AI. If you notice any inconsistencies, please let us know using this form.
Related opportunities
Machine Learning Research Scientist
AI X-risk Institute (AIXI Labs)London, UK
London, UK
1 month ago
Research Scientist
ResolutionBerkeley, CA / London, UK / Remote
Berkeley, CA / London, UK / Remote
1 month ago
Lean Proof Contractor
DovetailRemote (United Kingdom)
Remote (United Kingdom)
3 months ago
Research Engineer
FAR.AIBerkeley, USA / Remote
Berkeley, USA / Remote
3 months ago
Research Scientist
FAR.AIRemote / Berkeley, USA
Remote / Berkeley, USA
3 months ago
Researcher
Alignment Research CenterBerkeley, USA
Berkeley, USA
5 months ago
AI Safety Research Scientist
Beneficial AI FoundationRemote / Cambridge, USA
Remote / Cambridge, USA
5 months ago
Research Staff – AI Safety & Secure Deep Learning
Dawn Song (UC Berkeley)Berkeley, USA
Berkeley, USA
9 months ago
Join 60k subscribers and sign up for the EA Newsletter, a monthly email with the latest ideas and opportunities