<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class=""><br class=""></div><div class="">We are advertising both fixed term and tenure track positions from<br class="">level B (assistant professor), level C (associate professor) and level<br class="">D (associate professor plus plus :)<br class=""><br class="">See here:<br class=""><a href="http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-professor" class="">http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-professor</a><br class=""><br class="">Canberra is a great place to live!<br class="">See here:<br class=""><a href="https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable-city-in-the-world/" class="">https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable-city-in-the-world/</a><br class=""><br class="">We are also into proof-theory, formal verification using HOL4,<br class="">Isabelle/HOL and Coq, type-theory and other topics which should be<br class="">music to your ears, see here:<br class=""><a href="https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2-2" class="">https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2-2</a><br class=""><br class="">Please feel free to contact me if you wish to discuss applying:<br class=""><a href="mailto:rajeev.gore@anu.edu.au" class="">rajeev.gore@anu.edu.au</a><br class=""><br class="">And I promise that there are no crocodiles, jellyfish or sharks in<br class="">our lake! See here:<br class=""><a href="https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burley-griffin" class="">https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burley-griffin</a><br class=""><br class="">++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<br class=""><br class="">-- <br class="">Rajeev Gore' <br class="">Professor, Logic and Computation Group, <br class="">Research School of Computer Science<br class="">ANU College of Engineering and Computer Science<br class="">The Australian National University<br class="">Canberra ACT 2601<br class="">Tel: +61-2-61 25 86 03 <br class="">Fax: +61-2-61 25 86 51 <br class="">Email: <a href="mailto:Rajeev.Gore@anu.edu.au" class="">Rajeev.Gore@anu.edu.au</a><br class="">Web: <a href="http://arp.anu.edu.au/~rpg" class="">http://arp.anu.edu.au/~rpg</a><br class="">ANU CRICOS Provider Number - 00120C</div></body></html>