coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] jobs at multiple levels in Canberra Australia

From: <Rajeev.Gore AT anu.edu.au>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] jobs at multiple levels in Canberra Australia
Date: Sat, 22 Dec 2018 15:32:18 +1100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Rajeev.Gore AT anu.edu.au; spf=Pass smtp.mailfrom=Rajeev.Gore AT anu.edu.au; spf=None smtp.helo=postmaster AT mail2-drop-p3.anu.edu.au
Ironport-phdr: 9a23:2MqxBxcUcuLqueA4OszMzDyElGMj4u6mDksu8pMizoh2WeGdxcS8Yx7h7PlgxGXEQZ/co6odzbaO4+a4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahYr5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM2/33YhMNzgqxVoByvuQFxzYnOYIGUL/d+YqHQcMkGSWdbQspdSSpMCZ68YYsVCOoBOP5Voo7hqVQUrxuxGxejBP31xjFJgX/2x7M13v87HgHAwQwsBcwBv2nJrNnvLqgSTPm4wa/VxjvNaPNW3C3y6InOch05v/GMXKlwccvNyUYzDQzFiE6fppL/PzOPzOsBqXSU7+1lVe61kWEnthl9rSKpxscxkIXGmJ8ayk3e+Spj3YY5PcG3R1R9YdG/DpRQrTuaOJFsTsw+RGFovTw2xacbuZO9YSMEy4wnygbCZ/GJb4SE+BLuWeeLLTp5i39pYryyihKq/US91uHwTNS43EpWoiZfnNTAqGoB2hzQ58SfV/dw8Fut1SyP2g3S8O1JIEE5mbDGJ5I9wrM9kIcYv17ZES/sgkr2ibebdkU69eis7OTqerDmqYWdN49wlA3yK7khmta4AeQgKwQOR2aW9f6m273l4E31WqtFgeArkqXDqp/aONwXpq+/AwBLzoYu8wuzAjm63NgCnXQKLUhJdROIgoTzNVzDJOj0DfKljFStlDdryerGPrrkApjVMnbMirXhcqhj5E5C0gY9zNdf54hKBbwaOv3zXFLxuMbGARAkLgy42fzoCMhl2oMERW2PGrOZML/VsVKQ+u0vJPCMaJYJtzb5Nvgq/OXjjWQ5mF8YZammx4EbaHG+HvR8IkWWe2DggtkbETRCgg1rGOftkRiJVSNZT3e0RaM1oD8hXtGcAJ/HV7yq1ei71SW2E4MQSWdcB3iFF2queomZHf4RPnG8OMhkx2g+XLqsRpFn+ha0uSfzzachI+bJvCQF48GwnONp7vHewElhvQd/CN6QhjnUHjNE21gQTjpz55hR5El0y1ONy6992qYKHNpOof5FT0EzKMyFlrAoO5XJQgvEO+yxZhO+WNz/W2M4SM93ztMTJU9gSY3700LzmhGyCrpQrISlQZw59qWGgSr0Lsd5kTPKzq45ykF9BMJJKCurirM5/hWBX4M=

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

[Coq-Club] jobs at multiple levels in Canberra Australia, Rajeev.Gore, 12/22/2018