Sort by
Refine Your Search
-
Category
-
Employer
- University of Warwick;
- University of Birmingham
- University of East Anglia
- The University of Manchester
- Newcastle University
- University of Exeter
- King's College London;
- The University of Manchester;
- University of Bedfordshire
- University of Cambridge;
- University of Warwick
- Durham University
- Harper Adams University
- Imperial College London;
- King's College London
- Manchester Metropolitan University
- Manchester Metropolitan University;
- Newcastle University;
- The Rosalind Franklin Institute
- University of Birmingham;
- University of Bristol
- University of Cambridge
- University of Exeter;
- University of Liverpool
- University of Oxford
- University of Plymouth
- University of Sheffield;
- University of Sussex
- 18 more »
- « less
-
Field
-
Primary Supervisor: Dr Jonathan Kirby Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and
-
is £20,780, RTSG £8,400, full Tuition Fee covered). Hours: Full time Contract: Contract/temporary Closing date: 31/01/2027 The project: Decision-making under uncertainty is a fundamental challenge in
-
Hours of work: Part-time / 0.5 FTE Tenure: Fixed term for 12 months This is an exciting opportunity to contribute to a collaborative Engineering and Physical Sciences Research Council (EPSRC)-funded
-
, they are largely ineffective at detecting electrical faults. The lack of commercially available CMS solutions based on electrical measurements is due to inherent complexity of interpreting electrical signatures
-
This PhD project will develop mathematical models to investigate population dynamics in biological systems. Combining dynamical systems theory, mathematical modelling, and data-driven approaches
-
that could be realised with autonomy and prevents effective human-robot coexistence in complex nuclear operations. The PhD project is aimed at developing technologies, methodologies and assurance frameworks
-
Modern autonomous ground vehicles (AGVs/UGVs) in defence operations require sophisticated AI/ML-based control systems for perception, decision-making, and adaptive responses in complex, unstructured
-
Rolls-Royce We are seeking an exceptionally motivated and enthusiastic student to undertake a fully funded PhD at the Microwave Integrated Systems Laboratory (MISL), University of Birmingham, with support
-
prediction to systems that reason, plan, interact and act in the physical world. This PhD addresses efficient long-horizon task execution in Physical AI—complex tasks needing sequences of decisions, subgoals
-
principles” is essential for rational materials design, but the underlying numerical simulations are computationally expensive, limiting studies to small systems and short timescales. This project will explore