[logic-ml] jobs in Canberra (from Rajeev Gore)

[小野 寛晰]

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 <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/ <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 <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 at anu.edu.au <mailto:rajeev.gore at 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 <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 at anu.edu.au <mailto:Rajeev.Gore at anu.edu.au>
Web:   http://arp.anu.edu.au/~rpg <http://arp.anu.edu.au/~rpg>
ANU CRICOS Provider Number - 00120C
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20181222/99b5fecd/attachment.html>