AI Safety Logic & Programming Languages Research Lead
Job in
Liverpool, Merseyside, L1, England, UK
Listed on 2026-07-30
Listing for:
University Of Bristol
Full Time
position Listed on 2026-07-30
Job specializations:
-
Engineering
AI Engineer (Applied/Software), Research Scientist, AI Business & Operations
Job Description & How to Apply Below
The University of Bristol’s School of Computer Science invites applications for a Senior Research Associate in Logic and Programming Languages for AI Safety based in Bristol. The role focuses on developing formal foundations, languages and methods for rigorous reasoning about software and AI systems, with projects funded by ARIA.
You will publish in international venues, present at conferences, and collaborate with colleagues across the Safeguarded AI program, applying expertise in PL theory,
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×