<div dir="ltr"><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Dear all,</p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> </p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">The Computing Foundations cluster at the School of
Computing, The Australian National University, have multiple PhD scholarships
available in areas relevant to the types community, including logic,
programming languages, systems, formal methods, theory and software
engineering.</p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> </p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">If you want to do cutting edge research in any of these
fields, or a mix thereof, visit our page at:</p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/join/foundationsPhD/__;!!IBzWLUs!Q_9-PJDcOsWa1GKulle-UAPdDXYZD4Z3WfcIYQIPto6S5hmCvZBBY-Kfb-nfpl_qSr87k3Km9HNTd5eGEZHLU-6xVaGgDIbMPg$" style="color:rgb(5,99,193)">https://comp.anu.edu.au/join/foundationsPhD/</a></p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">and get in touch with any of the staff listed. Please also
contact Michael Norrish (cluster lead) for further details.</p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> </p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Cheers,</p>

<p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Nisansala</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:11pt"> </span><br></p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">----------------------------------------------------------------------------------------------------</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Dr. Nisansala Yatapanage</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Lecturer, </p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">School of Computing, The Australian National University</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://urldefense.com/v3/__https://cecs.anu.edu.au/people/nisansala-yatapanage__;!!IBzWLUs!Q_9-PJDcOsWa1GKulle-UAPdDXYZD4Z3WfcIYQIPto6S5hmCvZBBY-Kfb-nfpl_qSr87k3Km9HNTd5eGEZHLU-6xVaHOzboY8g$" style="color:rgb(5,99,193)">https://cecs.anu.edu.au/people/nisansala-yatapanage</a></p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">











</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">-----------------------------------------------------------------------------------------------------</p></div>