coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research Fellow position at the Australian National University

From: Alwen Tiu <alwen.tiu AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Research Fellow position at the Australian National University
Date: Fri, 10 Jan 2020 10:53:28 +1100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alwen.tiu AT gmail.com; spf=Pass smtp.mailfrom=alwen.tiu AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot1-f46.google.com
Ironport-phdr: 9a23:On0XKBKtk8289+Dc3tmcpTZWNBhigK39O0sv0rFitYgRKfrxwZ3uMQTl6Ol3ixeRBMOHsqkC0bSM+Pm4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCezbL9oMhm7rBvdusYLjYd+N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9g61brhyvpBJx3pDab52OOfVkYq/QZ8kXSXZdUstTUSFKH4Oyb5EID+oEJetVs439plUQohu4GAKiGuLvyiJVjXLxx6I61+ogHh/A3AA6A9IOsWnUoc76NKcXS++1za3IwS/fYPNR3Dfw8Y7FeQ0vr/GLWLJ/a8vRyU83GgzfiFWQtJbpMC2I2eQQqWSU9fdgWOSygGAkswF8uiajytsoh4XThY8YykrI+TtkzIopP9G1R092bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIa+fCcQyZQnwwfTa/ubc4SV+x7jWumcLDZiiHJqf7K/gBmy8Uy+xeHmSsa011NKojJEktnKqH8NywTe5tabRvZ55Eus2jaC2xrN5u1ZPUw4j6XWJp85zr41jJUTsEDDHiHsmEXxia+bbl8r+uym6uv5ZLXqvIOcN45pigzlPaQun9awAeU8MgQUQ2eb/uG82KX5/ULlWLVKkuE2kq7BvZ/GIsQbv7e1DBNR0oY+8BmyFCym0dQdnXkfNl1JYhOHj47zO1HPOv/0F/m/g07/2AtskvvBJ/jqBojHZizIl66kdrJg4WZdzhAyxJZR/cQHJKsGJafaXlD8spTkDwJxZwWw3OvhTsl8y6sRXGuOBumSN6aE4gzA3f4mP+TZPNxdgz36MfVwv6ey3098okcUeOyS5bVScGqxR600LECQYH6qidAEQz9T41gOCdfygVjHagZ9Ina/W6Vmu2M+AYOiSIDfH8Wj3OLH0yC8EZlbIGtBDwLUSCa6R8C/Q/4JLRmqDIpkmz0AW6KmTtZ4hx6rvQ7+jbFgK7iN9w==

[Apologies for multiple postings]

A two-year Research Fellow position is available at the Research School of Computer Science at the Australian National University (ANU). The position is for a project on massively scaling automated verification techniques for security protocol verification. Of particular interests are techniques to scale up verification for equivalence properties of security protocols (covering eg, anonymity, unlinkability, etc). This project will investigate the use of high performance computing (HPC) platform to massively parallelise the verification algorithms.

The deadline for application is 31 January 2020 (11:55pm, Australian Eastern Time).

Salary range is A$99,809 - A$113,165 (roughly, US$ 68K - US$ 77K, or 61K Euros - 70K Euros).

Applicants with strong backgrounds in formal methods (SAT/SMT, first-order theorem proving, interactive theorem provers) and programming languages are preferred. Experience with implementation of theorem provers is desirable.

Details of the application procedure can be found at:

https://jobs.anu.edu.au/en/job/534934/research-fellow

For further information please contact Alwen Tiu (alwen.tiu at anu.edu.au).

Regards,

Alwen Tiu

[Coq-Club] Research Fellow position at the Australian National University, Alwen Tiu, 01/10/2020