Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Nottingham
- ;
- ; University of Warwick
- ; University of Reading
- ; Cranfield University
- University of Cambridge
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Birmingham
- ; University of Oxford
- Cranfield University
- ; Bangor University
- ; University of Bradford
- ; University of Bristol
- ; University of Liverpool
- ; University of Nottingham
- ; University of Sheffield
- ; University of Surrey
- ; University of Sussex
- KINGS COLLEGE LONDON
- UNIVERSITY OF EAST LONDON
- University of East London
- University of Newcastle
- 13 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
. “Towards Cultivating Decentralised Data Privacy, Interoperability and Trust with Semantic PETs and Visualisations”. In: NXDG: NeXt-Generation Data Governance, SEMANTiCs 2024, 17-19 Sep 2024, Amsterdam
-
providing a structured, semantic framework that enhances knowledge sharing and data reuse across different platforms and systems. Project Aim This PhD will develop an ontology-based methodology to improve
-
AI-Driven Digital Twin for Predictive Maintenance in Aerospace - In Partnership with Rolls-Royce PhD
unstructured maintenance records using LLMs, ontologies, and knowledge graphs. Build a standards-aligned semantic framework for interoperability and scalability. Model degradation over time using temporal
-
AI-Driven Digital Twin for Predictive Maintenance in Aerospace – In Partnership with Rolls-Royce PhD
a standards-aligned semantic framework to ensure interoperability, reusability, and scalability across systems and sectors •Model system degradation over time by developing temporal knowledge graphs
-
explainable” machine-aided decision support for Safety and Mission Critical objectives e.g. fault detection/tracing, evasive manoeuvring, target selection etc. Detailed semantic understanding of operational
-
to software security, open-source software development and formal methods Work successfully in an inter-organisational team including industrial partners Disseminate the project results and present the research
-
to Research Associate (Grade 7) upon the award of PhD. If a PhD is not held, the appointment will be made at Research Assistant level. Scientific enquiries apart from the formal application should be directed
-
collaboratively in multidisciplinary and international research teams. - Communicate effectively both verbally and in writing, in both formal and informal situations. - Present findings in academic conferences and
-
reversionary functions, will be formally defined and used in the architecture synthesis to allow assumption relaxation to be traded for increased performance. There is an opportunity to demonstrate your