We are advertising both fixed term and tenure track positions from level B (assistant professor), level C (associate professor) and level D (associate professor plus plus :)
See here: http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-pro... http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-professor
Canberra is a great place to live! See here: https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable-... https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable-city-in-the-world/
We are also into proof-theory, formal verification using HOL4, Isabelle/HOL and Coq, type-theory and other topics which should be music to your ears, see here: https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2-... https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2-2
Please feel free to contact me if you wish to discuss applying: [email protected] mailto:[email protected]
And I promise that there are no crocodiles, jellyfish or sharks in our lake! See here: https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burle... https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burley-griffin
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++