36 formal-verification-computer-science PhD positions at Cranfield University in United Kingdom
Sort by
Refine Your Search
-
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
-
, in collaboration with Rolls-Royce, will develop innovative coatings to safely contain hydrogen in critical aerospace materials through experimental and computational modelling work. You’ll join a
-
numberSATM533 Entry requirements Applicants must have a B.Sc. in electronic / information engineering or computer science and must either have or close to having a Master’s degree (must be completed by the time
-
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
-
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
-
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
-
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