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. -- Michael ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info