[isabelle] Postdoc position at the Australian National University



Apologies for multiple postings.
-----

[http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS4727.asp]

Employment Position Available

ANU College of Engineering and Computer Science
Research School of Information Sciences and Engineering
Computer Sciences Laboratory

Research Fellow

Fixed Term – 2 years
Academic Level B

Salary Package: $68,767 - $81,135 pa plus 17% super

Reference No.: CECS4727

The Computer Sciences Laboratory seeks to fill a research position to work with, and under the direction of, Dr Alwen Tiu. The position is for a project in the area of computer science, funded by the Australian Research Council (ARC) under the Discovery Projects funding scheme. The research will involve applications of proof theory to reason about process calculi, such as the pi-calculus and its extensions, with a focus on the mechanisation of equivalence checking.

The appointee is expected to have a PhD degree in computer science, with backgrounds in proof theory, theorem proving, and process calculi, in particular, the pi-calculus and its extensions. Backgrounds in related area such as type theory and programming languages are a plus. The appointment will be for two years, starting in September 2008.

Further particulars, including selection criteria, are available from:
Reception, RSISE, phone +61 2 6125 8821, e-mail reception.rsise at anu.edu.au or http://info.anu.edu.au/hr/Jobs/Academic_Positions/_PDF/CECS4727.pdf.

If you wish to discuss the position after obtaining the selection documentation, please contact:
Dr Alwen Tiu, phone +61 2 6125 5992, e-mail alwen.tiu at anu.edu.au

Information for applicants http://info.anu.edu.au/hr/Jobs/How_To_Apply/index.asp.

Job Application Cover sheet - http://info.anu.edu.au/policies/_DHR/Forms/HR86.asp.

*Closing Date:* 1 May 2008






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.