2 formal-methods PhD positions at University of Warwick

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

PhD Studentship: Intelligent Energy Management for Fuel Cell-Battery Energy Storage System in Electric Vertical Take-Off and Landing Aircraft for Efficiency Improvement and Operation Safety

University of Warwick | Warwick, England | United Kingdom | about 4 hours ago

the optimization-based methods (doi.org/10.1016/j.apenergy.2020.116152 ), 3- Weakness of the model-predictive-control (MPC) against HESS’s parameters uncertainties, noises, and disturbances (doi.org/10.2514/6.2022
PhD Studentship: Vision-based Marker-less Navigation for Total Hip Replacement

University of Warwick | Warwick, England | United Kingdom | 4 days ago

procedures. These systems combine preoperative planning and intraoperative measurements into a visual interface, improving surgical precision and outcomes. However, current navigation methods have significant

Enter an email to receive alerts for formal-methods positions