[isabelle] postdoc in logic in computer science, proof theory, etc

The Logic and Computation Group at the Australian National University in Canberra is currently advertising a three-year fixed term post-doc. Applications close on June 6th 2010. We are looking for people whose research interests are in logic in computer science, automated reasoning, non-classical logics or proof theory.

See: http://jobs.anu.edu.au/PositionDetail.aspx?p=1243

Our web page: http://lc.cecs.anu.edu.au/

Please forward this email to anyone who you think may be interested in applying for this position.


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