[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [EMAIL PROTECTED] 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 [EMAIL PROTECTED] 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