Guiding and Evaluating Neural Theorem ProvingPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Formalizing and Testing Function Boolean Conjectures with LLMsPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Verifiable Robot Planning: Safeguarding Foundation Models via Formal Methods FeedbackPost My JobLondon, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Agentic AI-Based Behaviour and Intent Prediction within Aviation OperationsPost My JobGlasgow, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Surgical AI Copilot: Multimodal LLM Agent in Minimally Invasive SurgeryPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Outsmarting Evolving Pathogens with AIEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
A Utilisation of AI Techniques to Manage Energy Consumption in Wireless Sensor NetworksEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Embodied AI for Wellbeing: Exploring the Opportunities for Social RobotsEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Robots Dancing to SalsaEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Towards incorporating causality in explainable artificial intelligenceEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Carbon-Conscious Resource Scheduling for AI Workloads in the Cloud–Edge ContinuumEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Non-Invasive and Semantic-based IoT stream processing framework with Agentic AI for Next-Generation Trustworthy Wearable and Ambient SystemsEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
AI for Proton-Acoustics for Real-Time 3D Dosimetry of Proton TherapyUniversity of SurreyStag Hill, University Campus, Guildford GU2 7XH, UKStudent / Phd JobsCloses: Jul 7, 2026
Computer Science & Mathematics - Example topics include person identification using gait-based approaches, AI for clinical assessment, and applications in areas such as ophthalmology and mobility analysis.Liverpool John Moores UniversityStudent Life Building, 10 Copperas Hill, Liverpool L3 5AH, UKStudent / Phd JobsCloses: Jul 7, 2026
AI for Sustainable and Inclusive Societies (Ref: 2026/LUL/IDT)Loughborough UniversityEpinal Way, Loughborough LE11 3TU, UKStudent / Phd JobsCloses: Jul 31, 2026
Differential Privacy (DP) mechanisms for Large Language Models (LLMs)Kingston University55-59 Penrhyn Rd, Kingston upon Thames KT1 2EE, UKStudent / Phd JobsCloses: Jul 7, 2026
Computational Pathology using Artificial IntelligenceKingston University55-59 Penrhyn Rd, Kingston upon Thames KT1 2EE, UKStudent / Phd JobsCloses: Jul 7, 2026
Context-aware workload optimisation in cloud ecosystems: a framework for sustainable and low-impact AI processingKingston University55-59 Penrhyn Rd, Kingston upon Thames KT1 2EE, UKStudent / Phd JobsCloses: Jul 7, 2026
Intelligent Avatars for Collaborative and Rehabilitative Extended RealitiesKingston University55-59 Penrhyn Rd, Kingston upon Thames KT1 2EE, UKStudent / Phd JobsCloses: Jul 7, 2026
Large AI models for Privacy and ComplianceKingston University55-59 Penrhyn Rd, Kingston upon Thames KT1 2EE, UKStudent / Phd JobsCloses: Jul 7, 2026