2 formal-methods "University of Manchester" PhD positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods "University of Manchester" positions

PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | about 1 month ago

4 Nov 2025 Job Information Organisation/Company The University of Manchester Department Computer Science Research Field Computer science » Computer systems Researcher Profile First Stage Researcher
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 | about 4 hours ago

interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods

Enter an email to receive alerts for formal-methods "University of Manchester" positions