Connectionists: [jobs] PhD topics within the Mathematical Thinking Project 2022

[Stephan Chalup]

The Mathematical Thinking Initiative<https://carma.newcastle.edu.au/mathematicalthinking/> within the Priority Research Centre on Computer Assisted Research Mathematics and Applications (CARMA) at the University of Newcastle, Australia, offers PhD supervision on a range of topics related to computer assisted proofs using tools such as Lean, machine learning, mathematics, and cognition. More specific topics include:


  1.  Translation of arguments concerning topological groups into Lean<https://leanprover.github.io/> and their implementation as minimisation algorithms.
  2.  Machine learning and automated mathematical verification using Lean<https://leanprover.github.io/>
  3.  Number theory and Lean<https://leanprover.github.io/>
  4.  Mathematical psychology and mathematical thinking
  5.  Teaching of critical thinking in mathematics
  6.  Teaching of mathematics for social justice
  7.  Mathematical modelling and optimisation


Participating academics are: Prof George Willis<https://www.newcastle.edu.au/profile/george-willis>, A/Prof Stephan Chalup<https://www.newcastle.edu.au/profile/stephan-chalup>, Prof Florian Breuer<https://www.newcastle.edu.au/profile/florian-breuer>, A/Prof Ami Eidels<https://www.newcastle.edu.au/profile/ami-eidels>, A/Prof Elena Prieto<https://www.newcastle.edu.au/profile/elena-prieto>-Rodriguez, Dr. Hamish Waterer<https://www.newcastle.edu.au/profile/hamish-waterer> and others.

Students with outstanding track record who are aiming to start a PhD are encouraged to contact the PRC CARMA by 4 November 2021 with a brief EOI (preferred topic area, resume, list of publications) to be shortlisted for scholarship nomination by one of the participating academics. Nominated candidates will then be asked to apply formally for an Australian Government Research Training Program Scholarship – Academic Pathway Scheme (Vice Chancellor Scholarship).<https://www.newcastle.edu.au/study/research/future-students/scholarships>



  *   Domestic and international students can apply
  *   All communications in our program are in English
  *   You will join a high-profile research team as a doctoral student and conduct focused research
  *   The VC scholarship includes opportunities for some academic training experience beyond the research experience.



Candidates with background in mathematics, machine learning, physics, neuroscience, control theory, computer science, material science, artificial intelligence, deep learning, or related fields are encouraged to apply.



CARMA is committed to widening participation, promoting diversity and fairness, and overcoming injustice.



Please submit your EOI for nomination to PRC CARMA by 4 November 2021 using the following email Stephan.Chalup at newcastle.edu.au<mailto:Stephan.Chalup at newcastle.edu.au> or contact one of the other above listed academics directly.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20211015/e5f1d0ac/attachment.html>