2 computer-security "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" scholarships at The University of Manchester in United Kingdom
-
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
Enter an email to receive alerts for computer-security "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" positions