Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Nottingham
- Imperial College London;
- University of Reading;
- University of Birmingham
- University of Birmingham;
- University of Liverpool;
- University of Oxford;
- University of Warwick;
- Cranfield University
- KINGS COLLEGE LONDON
- The University of Manchester
- University of Bristol;
- University of Cambridge;
- University of Liverpool
- University of Oxford
- University of Sussex;
- University of Warwick
- AALTO UNIVERSITY
- City St George’s, University of London
- Edinburgh Napier University;
- European Magnetism Association EMA
- Swansea University;
- The Open University;
- The University of Edinburgh
- The University of Edinburgh;
- UCL
- University of Bradford;
- University of Bristol
- University of Cambridge
- University of Derby
- University of Newcastle
- University of Reading
- University of Salford;
- University of Sheffield
- University of Surrey
- University of Sussex
- 26 more »
- « less
-
Field
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
Title: Disentangling and modelling behaviourally-relevant visual and semantic dimensions of visual cognition in the human brain (Kamila Maria Jozwik lab, the University of Cambridge)Application
-
in the Cloud–Edge Continuum Non-Invasive and Semantic-based IoT stream processing framework with Agentic AI for Next-Generation Trustworthy Wearable and Ambient Systems Trust and Generative AI in Agile
-
-
for wireless radio access design, including semantic communications and novel waveforms, to deliver high-performance and energy-efficient connectivity in the presence of Doppler and delay spread challenges
-
recognition from aerial imagery in tropical forests. The research will investigate the long-tailed open-ended semantic segmentation problem and advance new approaches for uncertainty estimation and confidence
-
academic background, methodological skills, and alignment with the project focus. Submitting an EOI is mandatory. Only those who receive a positive response will be invited to proceed to the formal
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
-
contact them directly for informal discussion of potential project ideas. The secondary supervisor will be allocated by UCL as part of the formal admission process. Application process If you are interested
-
Saeed Bagheri at saeed.bagheri@reading.ac.uk Please note that, where a candidate is successful in being awarded funding, this will be confirmed via a formal studentship award letter; this will be provided