2 formal-methods PhD positions at University of Greenwich

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

PhD Studentship: Lattice-Boltzmann Simulations of Boundary-Layer Flows over Low-Drag Engineered Surfaces

University of Greenwich | London, England | United Kingdom | about 7 hours ago

Computing (HPC) and the Lattice-Boltzmann Method (LBM), a mesoscopic computational method, to model flows over a variety of engineered surfaces. You will investigate how engineered surfaces can delay flow
PhD Studentship: Electromagnetic Control of Metal Solidification: Multiscale Multiphysics Modelling from Dendritic to Bulk Scales

University of Greenwich | London, England | United Kingdom | 3 days ago

, fluid flow, and solute transport. Develop efficient computational coupling strategies to integrate these physical processes. Apply advanced numerical methods to construct dendrite growth models, including

Enter an email to receive alerts for formal-methods positions