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-professor

Canberra is a great place to live!
See here:
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-2

Please feel free to contact me if you wish to discuss applying:
rajeev.gore@anu.edu.au

And I promise that there are no crocodiles, jellyfish or sharks in
our lake! See here:
https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burley-griffin

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

-- 
Rajeev Gore'             
Professor, Logic and Computation Group, 
Research School of Computer Science
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 2601
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: Rajeev.Gore@anu.edu.au
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C