Sort by
Refine Your Search
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
on the boundary of model theory, group theory and geometry to develop new insights about definable groups, Diophantine problems (around Pila-Wilkie) and graph-combinatorial conjectures (such as
-
of Computer Science at the University of Cambridge. The research group focuses on the computational tooling and mathematical foundations of higher category theory, and its applications in computer science, mathematics
-
the context of algorithmic problems related to constraint satisfaction and graph homomorphism and isomorphism problems. It brings to bear significant new mathematical (algebraic and topological) methods
-
the context of algorithmic problems related to constraint satisfaction and graph homomorphism and isomorphism problems. It brings to bear significant new mathematical (algebraic and topological) methods
-
(or be about to obtain) a PhD in mathematics. Evidence of excellent research in geometric group theory. Excellent oral and written communication skills. Ability to work both independently and as part of
-
modelling, graph theory, probability calculus, optimal transport, optimization and feedback control, machine learning, and a knowledge of distributed ledger technologies. A track record of publication in
-
Experience with system modelling, graph theory, probability calculus, optimal transport, optimization and feedback control, machine learning, and a knowledge of distributed ledger technologies. A track record