Open PhD topics within the Mathematical Thinking Project https://t.co/OmAYqe1yPA
We offer PhD supervision on a range of topics related to computer assisted proofs using tools such as Lean, machine learning, mathematics, and cognition. Contact us by 4 Nov 2021 with a brief EOI.
This PhD scholarship is part of an ARC Discovery Project and aims at students in Australia with backgrounds in machine learning, geometry/topology, 3D visualisation, or application domains with relevant 3D or high-dimensional data. https://t.co/z0gZrODjPq via @uni_newcastle