49 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
-
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
-
Models (LLMs). Orchestrating AI/ML pipelines in 6G. Developing certification and checking processes for code inside ORAN 6G. The research will be a combination of software engineering, radio
-
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
-
with: • Experience with programming (Python, MATLAB), • background in aerospace, computer science, robotics, or electrical engineering graduates, • hands on skills in
-
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
-
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
-
in radiation–matter interactions, computational modelling, and materials science, with a strong publication record (h-index 36, i10-index 69). Dr Francesco Fanicchia, Research Area Lead: Material
-
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
-
metascintillator prototypes towards clinical application. The research will combine experimental surface engineering, advanced materials characterisation (SEM, XRD, spectroscopy), and performance testing alongside