[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear types,
You may be interested in the announce below. Formal verification, proof
assistants, and no crocodiles in the lake.
---------- Forwarded message ---------
From: <[email protected]>
Date: Sat, Dec 22, 2018 at 5:33 AM
Subject: [Coq-Club] jobs at multiple levels in Canberra Australia
To: <[email protected]>
Dear Coq Clubbers,
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:
[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-burley-griffin
best wishes,
raj
--
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: [email protected]
Web: http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C
