41 formal-verification-computer-science PhD positions at Cranfield University in United Kingdom
Sort by
Refine Your Search
-
engineering or a relevant area. An MSc degree and/or experience and good knowledge in gas turbine theory, thermodynamics, Machine Learning, and computer programming will be an advantage. Funding Sponsored by
-
water. The successful candidate will work collaboratively within a dynamic team, utilizing cutting-edge technology to create user-friendly sensors for deployment by citizen scientists. The project will
-
point of this project is the opportunity for the successful applicant to work within the Centre for Computational Engineering Sciences, a leading hub for research and education in computational methods
-
there be interest, there is also the possibility of developing teaching and supervision skills on our MSc Astronautics and Space Engineering programme. Sponsored by EPSRC and Cranfield University, this DLA
-
-on experience with real-world SCADA data, industry collaboration with RES Group, and training in high-fidelity simulation environments (OpenFAST, Digital Twin technology). This opportunity is ideal for those
-
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
-
Rolls-Royce, this project will use both experimental and computational aspects to explore the aerodynamic design space for coupled intake/fan configurations that are required to deliver more efficient
-
Advances in computing, experiments, and information will continue to reshape engineering in the next decade. This PhD position will nurture a multidisciplinary innovator with the tools to unravel
-
with engineering, physics, mathematics, acoustics, fluids, electronics or instrumentation background. Prior experience in computational modelling is beneficial, but not mandatory. Similarly, experience
-
evaluation. Prognostics is an essential part of condition-based maintenance (CBM), described as predicting the remaining useful life (RUL) of a system. It is also a key technology for an integrated vehicle