Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Imperial College London;
- University of Nottingham
- University of Birmingham
- University of Birmingham;
- University of Liverpool;
- University of Oxford;
- University of Reading;
- University of Warwick;
- The University of Edinburgh
- University of Cambridge;
- University of Liverpool
- University of Warwick
- AALTO UNIVERSITY
- Cranfield University
- Edinburgh Napier University;
- European Magnetism Association EMA
- KINGS COLLEGE LONDON
- King's College London
- The University of Edinburgh;
- The University of Manchester
- UCL
- University of Derby
- University of Newcastle
- University of Oxford
- University of Reading
- University of Salford;
- University of Sheffield
- University of Surrey
- University of Sussex
- University of Sussex;
- 20 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
-
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
-
used in other safety-critical sectors. Review international AV regulations and identify gaps in explainability and traceability. Develop a formal DCD model capable of representing AV reasoning and
-
@nottingham.ac.uk , attaching a cover letter, CV and academic transcripts. Incomplete applications will not be considered. Suitable applicants will be interviewed, and if successful, invited to make a formal
-
in Central Cambridge at the University of Cambridge Judge Business School. CERF was founded in 2001 as an independent endowment in the University of Cambridge. The formal objective of CERF is to
-
in Central Cambridge at the University of Cambridge Judge Business School. CERF was founded in 2001 as an independent endowment in the University of Cambridge. The formal objective of CERF is to
-
Essential Criteria for applicants: To be eligible, Doctoral Candidates must have obtained a degree which formally entitles them to start a doctorate, either in the country in which the degree was obtained
-
degree which formally entitles them to start a doctorate, either in the country in which the degree was obtained or in the country in which the researcher is recruited In addition, Doctoral Candidates