The Coq mailing list

[Alwen Tiu <Alwen.Tiu AT rsise.anu.edu.au>]

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