48 proof-checking-postdoc-computer-science-logic PhD scholarships at Cranfield University
Sort by
Refine Your Search
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
at the edge. The project explores advanced topics such as TinyML, neuromorphic design, reconfigurable logic, and autonomous fault recovery, with applications ranging from aerospace, energy, and robotics
-
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
-
-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
-
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
-
in a related discipline. This project would suit motivated graduates from a wide range of STEM backgrounds—including environmental, civil, chemical or mechanical engineering, computer science, robotics
-
Aviation Education, Training & Research, delivering impactful industrial and academic partnerships, future-proof skills, innovation, and leadership to achieve Net Zero Aviation by 2050. In collaboration with
-
Aviation Education, Training & Research, delivering impactful industrial and academic partnerships, future-proof skills, innovation, and leadership to achieve Net Zero Aviation by 2050. This exciting project
-
with engineering, physics, mathematics, acoustics, fluids, electronics or instrumentation background. Prior experience in computational modelling is beneficial, but not mandatory. Similarly, experience
-
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