<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
mso-add-space:auto;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
{mso-style-priority:34;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
mso-add-space:auto;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
{mso-style-priority:34;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
mso-add-space:auto;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
{mso-style-priority:34;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
mso-add-space:auto;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
p.Default, li.Default, div.Default
{mso-style-name:Default;
margin:0cm;
text-autospace:none;
font-size:12.0pt;
font-family:"Arial",sans-serif;
color:black;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:646276683;
mso-list-type:hybrid;
mso-list-template-ids:1319554792 -1492775138 134807555 134807557 134807553 134807555 134807557 134807553 134807555 134807557;}
@list l0:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;
mso-fareast-font-family:Calibri;
mso-bidi-font-family:"Times New Roman";}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:2012683593;
mso-list-type:hybrid;
mso-list-template-ids:1961383594 134807567 -1 -1 -1 -1 -1 -1 -1 -1;}
@list l1:level1
{mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style>
</head>
<body lang="EN-AU" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">The <a href="https://carma.newcastle.edu.au/mathematicalthinking/">
Mathematical Thinking Initiative</a> 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:
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<ol style="margin-top:0cm" start="1" type="1">
<li class="MsoListParagraphCxSpFirst" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i><span style="mso-fareast-language:EN-GB">Translation of arguments concerning topological groups into
</span></i><a href="https://leanprover.github.io/"><i>Lean</i></a><i><span style="mso-fareast-language:EN-GB"> and their implementation as minimisation algorithms.<o:p></o:p></span></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Machine learning and automated mathematical verification using </i><a href="https://leanprover.github.io/"><i>Lean</i></a><i><o:p></o:p></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Number theory and </i><a href="https://leanprover.github.io/"><i>Lean</i></a><i><o:p></o:p></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Mathematical psychology and mathematical thinking<o:p></o:p></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Teaching of critical thinking in mathematics<o:p></o:p></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Teaching of mathematics for social justice<o:p></o:p></i></li><li class="MsoListParagraphCxSpMiddle" style="margin-left:0cm;mso-add-space:auto;mso-list:l1 level1 lfo1">
<i>Mathematical modelling and optimisation<o:p></o:p></i></li></ol>
<p class="MsoListParagraphCxSpLast"><o:p> </o:p></p>
<p class="MsoNormal">Participating academics are: <a href="https://www.newcastle.edu.au/profile/george-willis">
Prof George Willis</a>, <a href="https://www.newcastle.edu.au/profile/stephan-chalup">
A/Prof Stephan Chalup</a>, <a href="https://www.newcastle.edu.au/profile/florian-breuer">
Prof Florian Breuer</a>, <a href="https://www.newcastle.edu.au/profile/ami-eidels">
A/Prof Ami Eidels</a>, <a href="https://www.newcastle.edu.au/profile/elena-prieto">
A/Prof Elena Prieto</a><span class="MsoHyperlink">-Rodriguez</span>, <a href="https://www.newcastle.edu.au/profile/hamish-waterer">
Dr. Hamish Waterer</a> and others.<o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">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
</span><span lang="EN-GB"><a href="https://www.newcastle.edu.au/study/research/future-students/scholarships"><span style="font-family:"Calibri",sans-serif">Australian Government Research Training Program Scholarship – Academic Pathway Scheme (Vice Chancellor
Scholarship).</span></a></span><span lang="EN-GB" style="font-family:"Calibri",sans-serif">
<o:p></o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif"><o:p> </o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="Default" style="mso-list:l0 level1 lfo2"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">Domestic and international students can apply<o:p></o:p></span></li><li class="Default" style="mso-list:l0 level1 lfo2"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">All communications in our program are in English<o:p></o:p></span></li><li class="Default" style="mso-list:l0 level1 lfo2"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">You will join a high-profile research team as a doctoral student and conduct focused research<o:p></o:p></span></li><li class="Default" style="mso-list:l0 level1 lfo2"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">The VC scholarship includes opportunities for some academic training experience beyond the research experience.
<o:p></o:p></span></li></ul>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif"><o:p> </o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">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.<o:p></o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif"><o:p> </o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">CARMA is committed to widening participation, promoting diversity and fairness, and overcoming injustice.
<o:p></o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif"><o:p> </o:p></span></p>
<p class="Default"><span lang="EN-GB" style="font-family:"Calibri",sans-serif">Please submit your EOI for nomination to PRC CARMA by 4 November 2021 using the following email
</span><span lang="EN-GB"><a href="mailto:Stephan.Chalup@newcastle.edu.au"><span style="font-family:"Calibri",sans-serif">Stephan.Chalup@newcastle.edu.au</span></a></span><span lang="EN-GB" style="font-family:"Calibri",sans-serif"> or contact one of the other
above listed academics directly.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
</div>
</body>
</html>