The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
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
-
, nonlinear dynamical systems, robotics, and formal methods to develop principled models and algorithms for distributed decision-making in complex and uncertain environments. Your research The candidate will
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods "University of Manchester" positions