<div dir="ltr"><div dir="ltr"><span style="font-family:Calibri,sans-serif;font-size:14.6667px">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.</span><br></div><div dir="ltr"><br></div><div dir="ltr"><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!QSXsvumP7mbbNpxD1dzrMSE6rBVHyyaOkMP5gxLqo3sT7SPUkXWbJXA_sgY-wp4EqckIknRWMSO9bZ1zZKzc4Cyt0l3cUcbnlg$" target="_blank" style="color:rgb(5,99,193)">https://comp.anu.edu.au/join/foundationsPhD/</a>  <span style="font-size:11pt">and get in touch with any of the staff listed.</span><span style="font-size:11pt"> </span></p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><br></p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">My particular areas of interest include formal methods, concurrency verification, safety-critical systems and security verification. Please visit my page: <a href="https://urldefense.com/v3/__https://users.cecs.anu.edu.au/*Nisansala.Yatapanage/__;fg!!IBzWLUs!QSXsvumP7mbbNpxD1dzrMSE6rBVHyyaOkMP5gxLqo3sT7SPUkXWbJXA_sgY-wp4EqckIknRWMSO9bZ1zZKzc4Cyt0l0n96ne0w$">https://users.cecs.anu.edu.au/~Nisansala.Yatapanage/</a> for more information.</p><p class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><br></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></div></div>