University of Bristol's School of Computer Science invites applications for a Senior Research Associate to advance work on logic and programming languages for AI safety. The role is funded through ARIA Safeguarded AI and based in Bristol's Merchant Venturers Building.
You will conduct high-quality research, develop formal foundations, publish in international venues, and collaborate with the Safeguarded AI community while contributing to the project led by Dr Alex Kavvos.
#J-18808-LjbffrAI Safety: Logic & Programming Languages Research Lead in Bristol employer: Technical University of Denmark
The University is an exceptional employer, offering a supportive and collaborative work environment that prioritises employee well-being and professional growth. With the flexibility of hybrid working and generous leave entitlements, including 36 days off, staff are encouraged to maintain a healthy work-life balance while contributing to the academic success of students in the Faculty of History.
Contact Details:
Technical University of Denmark Recruitment Team
