40 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University
Sort by
Refine Your Search
-
Francesco Fanicchia is a recognised expert in advanced surface engineering and the development of multifunctional protective coatings, specialising in thermal barriers and fire-resistant materials. As a
-
: • Experience with programming (Python, MATLAB), • background in aerospace, computer science, robotics, or electrical engineering graduates, • hands on skills in implementation of fusion
-
honours degree in materials science, physics, engineering, or a related discipline. The ideal candidate will be self-motivated, with an interest in both computational modelling and practical manufacturing
-
-assurance positioning in safety-critical applications. Cranfield is a specialist postgraduate university that is a global leader for education and transformational research in technology, management, defence
-
technology, management, defence and security. Cranfield is recognised for delivering outstanding research addressing contemporary global challenges with economic, environmental, and social impact for business
-
. This stems from the two main styles of AI development over the last two decades. 'First Wave AI' is used to describe the rules/logic based AI used heavily in the 1990's and 2000's and still in wide use today
-
future hydrogen fuel cell powered aircraft. Join our diverse and inclusive team to transform the future of aviation as part of the Centre for Propulsion and Thermal Power Engineering. Offering fully funded
-
doctoral training programme dedicated to academic research in space propulsion. R2T2 PhD programmes are already underway at nine UK universities, and the programme overall is centred on the Westcott facility
-
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...
-
-based solutions (NbS) for water and wastewater treatment. The research will explore sustainable engineering strategies to boost their performance to deliver benefits for the environment and society. The