4 computer-security "https:" "https:" "https:" PhD positions at The University of Manchester
-
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
-
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
-
-level safe coordination control, and (ii) high-level decision-making and task coordination. The low-level safety layer will ensure computationally efficient and safe navigation of robot swarms under