47 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University in ireland
-
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
-
technology, management, defence and security. Cranfield is recognised for delivering outstanding research addressing contemporary global challenges with economic, environmental, and social impact for business
-
-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
-
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
-
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