Senior Researcher: Logic & PL for AI Safety

The University of Bristol invites applications for a Senior Research Associate in Logic and Programming Languages for AI Safety. The post supports a research project led by Dr Alex Kavvos, funded by ARIA, open-ended with fixed funding to 30 November 2027.

The successful candidate will conduct high-quality research, develop formal foundations, and contribute to software tools. The role involves publishing in international venues and collaborating with the School of Computer Science and