2 formal-verification-computer-science PhD positions at The University of Manchester

Preparatory Exercises for PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | about 2 months ago

19 Jan 2026 Job Information Organisation/Company The University of Manchester Department Computer Science Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions PhD

PhD Studentship: A Novel Control Framework for Embodied Decision-Making in Multi-Robot Coordination and Task Execution

The University of Manchester | Manchester, England | United Kingdom | 3 months ago

verify the proposed control framework through formal verification techniques. Ideal candidate We are seeking highly motivated candidates with a strong background in control theory and practical experience