40 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University
Sort by
Refine Your Search
-
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
-
Aviation Research and Technology Centre (DARTeC), leading advancements in aircraft electrification, autonomous systems, and secure intelligent hardware. Through collaborations with the Aerospace Integration
-
engineering, digital technologies, and systems thinking. The university’s strong reputation for applied research and its focus on technological innovation ensure that this project will be well-supported, with
-
the £65 million Digital Aviation Research and Technology Centre (DARTeC), leading advancements in aircraft electrification, autonomous systems, and secure intelligent hardware. Through collaborations
-
the subject area and continues to expand its research horizons. It plays a pivotal role in the £65 million Digital Aviation Research and Technology Centre (DARTeC), leading advancements in aircraft electrification
-
opportunity in composites materials for space application research in the Composites and Advanced Materials Centre and the Centre for Defence Engineering at Cranfield university. The focus of this PhD will be
-
sampled. This PhD study will address this research challenge. Cranfield is the largest academic centre for postgraduate studies in Science and Technology in the UK. Focused on developing applied research to
-
Cranfield is an exclusively postgraduate university that is a global leader for transformational research and education in technology and management. Research Excellence Framework 2014 (REF) has
-
. Cranfield is an exclusively postgraduate university that is a global leader for transformational research and education in technology and management. Research Excellence Framework 2014 (REF) has recognised 81
-
. Cranfield is an exclusively postgraduate university that is a global leader for transformational research and education in technology and management. Research Excellence Framework 2021 (REF) has recognised 88