Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc position at the Australian National Un...

Email Gateway (Aug 18 2022 at 10:26):

From: Alwen Tiu <alwen.tiu@rsise.anu.edu.au>
Dear all,
the Computer Science Lab at the Australian National University has an
opening
for a 2-year postdoc in the area of logic-based framework for trust and
security.
Details of the position, including salary range and qualifications, can
be found at
the ANU website:
http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS3966.asp

Application deadline is 31 May 2007.

-Alwen

Email Gateway (Aug 18 2022 at 11:48):

From: Alwen Tiu <Alwen.Tiu@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@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@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

Last updated: Nov 21 2024 at 12:39 UTC