[TYPES/announce] Fwd: jobs at multiple levels in Canberra Australia

[Gabriel Scherer]

Dear types,

You may be interested in the announce below. Formal verification, proof
assistants, and no crocodiles in the lake.

---------- Forwarded message ---------
From: <Rajeev.Gore at anu.edu.au>
Date: Sat, Dec 22, 2018 at 5:33 AM
Subject: [Coq-Club] jobs at multiple levels in Canberra Australia
To: <coq-club at inria.fr>

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

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: Rajeev.Gore at anu.edu.au
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181222/3dfc4847/attachment.html>