45 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University in United Kingdom
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
-
technology, management, defence and security. Cranfield is recognised for delivering outstanding research addressing contemporary global challenges with economic, environmental, and social impact for business
-
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
-
-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
-
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
-
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
-
with engineering, physics, mathematics, acoustics, fluids, electronics or instrumentation background. Prior experience in computational modelling is beneficial, but not mandatory. Similarly, experience
-
: • Experience with programming (Python, MATLAB), • background in aerospace, computer science, robotics, or electrical engineering graduates, • hands on skills in implementation of fusion