Up to 8 PhD positions in Mathematics
The Geometry, Representations, and Algebra via Computation and Experimentation (GRACE) Doctoral Training Unit covers a coherent set of themes in Mathematics and Computer Science, with a focus on number theory and cryptographic applications, geometry, representations, and logic. The common feature of the projects in GRACE is to use computational methods – from computational modeling to proof assistants – to supplement … Read more