[TYPES/announce] Research Fellow Position at the Australian National University

[Alwen Tiu]

[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200110/f0eb057c/attachment.html>