Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Nottingham
- ; University of Reading
- ; University of Warwick
- ; University of Nottingham
- ; University of Sussex
- ; University of Plymouth
- University of Exeter
- ; Bangor University
- ; Cranfield University
- ; The University of Manchester
- ; University of Birmingham
- ; University of Bradford
- ; University of Bristol
- ; University of Liverpool
- ; University of Oxford
- Cranfield University
- UNIVERSITY OF EAST LONDON
- University of East London
- 9 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
-
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
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
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 application stage
-
project are welcome and can be made to: Prof. Helfrid Hochegger (hh65@sussex.ac.uk ) or Dr. Antony Oliver (Antony.Oliver@sussex.ac.uk ) How to apply: Please submit a formal application using the online
-
, or MATLAB) is desirable but not mandatory. How to apply: Candidates should submit a formal application: www.warwick.ac.uk/pgrengineering via the above ‘Apply’ button.
-
: For further details please contact Dr Amelia Hollywood a.hollywood@reading.ac.uk Please note that, where a candidate is successful in being awarded funding, this will be confirmed via a formal
-
://www.warwick.ac.uk/engineeringscholarships/st/appcv via the above 'Apply' button. If this initial application is successful, we will invite you to formally apply. All candidates must fulfil the University of Warwick
-
be confirmed via a formal studentship award letter; this will be provided separately from any Offer of Admission and will be subject to standard checks for eligibility and other criteria. For further
-
this research area to https://www.warwick.ac.uk/engineeringscholarships/sl/appcv via the above ‘Apply’ button. If this initial application is successful, we will invite you to formally apply. All candidates must