7 coding-"https:"-"Prof"-"FEMTO-ST" "https:" "https:" "https:" "https:" "FCT NOVA UNIDEMI" PhD positions at The University of Manchester
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
in Experimental Particle Physics (https://www.hep.manchester.ac.uk/study/ ). Our group (https://www.hep.manchester.ac.uk/ ) is one of the largest research groups in the UK with over 100 members
-
Application deadline: 31/03/2026 Research theme: Nuclear Materials Hoe to apply: https://uom.link/pgr-apply-2425 UK only This 4-year PhD project is fully funded by the Nuclear Decommissioning
-
paragraph about your motivation to study this PhD project. The supervisor profiles: https://bernardomagri.eu/ https://borisfouotsa.com/
-
Application deadline: 30/06/2026 Research theme: Applied Mathematics, Continuum Mechanics, Nonlinear PDEs How to apply: https://uom.link/pgr-apply-2425 UK only due to funding restrictions. The
-
guest exchange (J. Am. Chem. Soc. 2025, 147, 17201 https://doi.org/10.1021/jacs.5c02868 ). It is the aim of this project to use this novel methodology to investigate a range of single crystal-to-single
-
Environments - https://cradlerobotics.co.uk/ ) and will work closely with Work Package 2 (Architectures) and Work Package 5 (Demonstrators). With support from the CRADLE team, the project will further refine and