-
Application deadline: 30/04/2026 Research theme: Nuclear Engineering How to apply: https://uom.link/pgr-apply-2425 This 3.5-year PhD project is fully funded; home students are eligible to apply
-
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
-
Application deadline: 30/05/2026 How to apply: https://uom.link/pgr-apply-2425 This 4-year PhD studentship is open to Home (UK) applicants. The successful candidate will receive an annual tax-free
-
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
-
that you apply early as the advert may be removed before the deadline. The cryptographic protocols used to secure communications and data are safe under the assumption that problems like integer