46 proof-checking-postdoc-computer-science-logic PhD positions at Cranfield University
Sort by
Refine Your Search
-
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
-
. The project focuses on power-aware computing, thermal optimization, and sustainable electronic design, targeting critical applications in aerospace, healthcare, and industrial automation. Hosted by the renowned
-
additive manufacturing. This project will be closely aligned with the ATI research program (I-Break: Wire-based DED Technology Maturation and Landing Gear Application) and other industrial research projects
-
research program (I-Break: Wire-based DED Technology Maturation and Landing Gear Application) and other industrial research projects within WAMC. The student will become part of a diverse and dynamic
-
Families, and sponsors of International Women in Engineering Day. We are also Disability Confident Level 1 Employers and members of the Business Disability Forum and Stonewall University Champions Programme
-
AI-Driven Digital Twin for Predictive Maintenance in Aerospace – In Partnership with Rolls-Royce PhD
) in a relevant discipline such as aerospace engineering, mechanical engineering, electrical engineering, computer science, applied mathematics, or a closely related field. Experience or interest in
-
Aviation Research and Technology Centre (DARTeC), leading advancements in aircraft electrification, autonomous systems, and secure intelligent hardware. Through collaborations with the Aerospace Integration
-
are part of the programme. The research is funded by the Centre of Propulsion and Thermal Engineering at Cranfield University. The work will be conducted at the Cranfield icing wind tunnel (IWT) based
-
with programming (Python, MATLAB), background in aerospace, computer science, robotics, or electrical engineering graduates, hands on skills in implementation of fusion/learning based techniques in
-
significantly improves fracture toughness [Williams et al, Journal of Materials Science 48, 3, 1005-1013, 2013]. In addition it can also increases the electrical conductivity of composites. As a part of this