[PT] 3 year fixed term postdoc in logic, 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/

raj

-- 
Rajeev Gore'             
Senior Fellow
Logic and Computation Group, 
Computer Sciences Laboratory,
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 0200
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: [email protected]
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C