<div dir="ltr"><div class="gmail_quote"><span style="font-family:Calibri,sans-serif;font-size:11pt">Dear all,</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt"> </span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">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><span style="font-family:Calibri,sans-serif;font-size:11pt"> </span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">If you want to do cutting edge research in any of these
fields, or a mix thereof, visit our page at:</span><br><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/research/clusters/computing-foundations/__;!!IBzWLUs!ScjvejH1wWSAb5G1tGUoqkk-nCXy57fjZsrZViSFlV8VDfLoQsAjQh_Lm_eT0Lo8GVzmLaBjJiWBs7qz42-6NCEDOJ9w6cB60g$">https://comp.anu.edu.au/research/clusters/computing-foundations/</a><br><span style="font-family:Calibri,sans-serif;font-size:11pt">and get in touch with any of the staff listed. Please also
contact Michael Norrish (cluster lead) for further details.</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt"> </span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">Cheers,</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">Nisansala</span><br><span style="font-size:11pt;font-family:Calibri,sans-serif"> </span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">------------------------------</span><span style="font-family:Calibri,sans-serif;font-size:11pt">------------------------------</span><span style="font-family:Calibri,sans-serif;font-size:11pt">------------------------------</span><span style="font-family:Calibri,sans-serif;font-size:11pt">----------</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">Dr. Nisansala Yatapanage</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">Lecturer,</span><br><span style="font-family:Calibri,sans-serif;font-size:11pt">School of Computing, The Australian National University</span><br><a href="https://urldefense.com/v3/__https://cecs.anu.edu.au/people/nisansala-yatapanage__;!!IBzWLUs!ScjvejH1wWSAb5G1tGUoqkk-nCXy57fjZsrZViSFlV8VDfLoQsAjQh_Lm_eT0Lo8GVzmLaBjJiWBs7qz42-6NCEDOJ9LDjY-6g$" target="_blank" style="font-family:Calibri,sans-serif;font-size:11pt;color:rgb(5,99,193)">https://cecs.anu.edu.au/people/nisansala-yatapanage</a><br><div>

















<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>
</div></div>