37 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University in United Kingdom
Sort by
Refine Your Search
-
This self-funded PhD opportunity explores assured multi-sensor localisation in 6G terrestrial and non-terrestrial networks (TN–NTN), combining GNSS positioning, inertial systems, and vision-based sensors to deliver resilient, high-accuracy positioning. The project sits at the intersection of...
-
additive manufacturing. This project will be closely aligned with the ATI research program (I-Break: Wire-based DED Technology Maturation and Landing Gear Application) and other industrial research projects
-
metascintillator prototypes towards clinical application. The research will combine experimental surface engineering, advanced materials characterisation (SEM, XRD, spectroscopy), and performance testing alongside
-
research program (I-Break: Wire-based DED Technology Maturation and Landing Gear Application) and other industrial research projects within WAMC. The student will become part of a diverse and dynamic
-
. The project focuses on power-aware computing, thermal optimization, and sustainable electronic design, targeting critical applications in aerospace, healthcare, and industrial automation. Hosted by the renowned
-
project would suit students with a background in electronics, embedded programming, signal processing, vibration measurement and analysis, maintenance engineering, and electro-mechanical engineering
-
electronics, embedded programming, signal processing, vibration measurement and analysis, maintenance engineering, and electro-mechanical engineering. Funding This is a self-funded PhD. Find out more about fees
-
evaluation. Prognostics is an essential part of condition-based maintenance (CBM), described as predicting the remaining useful life (RUL) of a system. It is also a key technology for an integrated vehicle
-
Applicants should have a first or second class UK honours degree or equivalent in in Design, Engineering, Computer Science/IT or a related subject. Experience in system design, and/or manufacturing is
-
Aviation Research and Technology Centre (DARTeC), leading advancements in aircraft electrification, autonomous systems, and secure intelligent hardware. Through collaborations with the Aerospace Integration