35 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
-
learning from in-service vehicle fleets and predicting remaining useful life. Applications of artificial intelligence and computer science to battery state estimation. Reduced-authority control of hybrid
-
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
-
Resilience (WIRe), a world leading collaboration between three UK universities. The WIRe programme includes bespoke training in technical and personal skills development, and provides opportunities
-
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. 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
-
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
-
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