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
-
Ramsey Theory and Graph Packing. Another example of the interplay between algorithms and combinatorics arises in the context of graph packing. See the following paper: https://epubs.siam.org/doi/abs
-
processes, Bayesian inference, signal models, sampling theory, sensing techniques, optimisation theory and algorithms, multi-modal data processing, high-performance computing, mathematical image analysis
-
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