24 July: fyi -- postdoc, Australia
Index of July 2002 | Index of year: 2002 | Full index
RESEARCH SCHOOL OF INFORMATION SCIENCES AND ENGINEERING
COMPUTER SCIENCES LABORATORY
RESEARCH FELLOW or FELLOW
(Level B or C)
AUTOMATED REASONING
Ref: ISE1077
The Research School of Information Sciences and Engineering seeks to fill a position as Fellow or
Research Fellow in the broad field of automated reasoning. The position is for a fixed term of three
years with the possibility of a further appointment to a maximum of five years. The position is
available immediately.
Areas of interest include automated reasoning in artificial intelligence, especially constraint
satisfaction and related propositional reasoning, model-based diagnosis, planning, and search;
reasoning systems, especially classical and non-classical theorem proving, and higher-order logical
frameworks; and logic, in particular combinatory, higher-order, modal, temporal, substructural logics,
logic for space, and logical foundations of hybrid systems. Applicants should have a strong research
record in at least one of these areas.
Facilities include access to several high performance computers including parallel machines. There are
opportunities for teaching, especially at the graduate level.
The emphasis is on excellence in research at a fundamental level, quality supervision of PhD students,
and outside interactions.
The University has a policy that provides for market loading of academic salaries in appropriate
instances. Suitably qualified women are particularly encouraged to apply.
Enquiries: Professor John Lloyd, Tel +61 6125 8633, Fax +61 6125 8651, Email John.Lloyd@anu.edu.au
Contact: Further particulars and selection criteria must be obtained before applying. These are
available from the ANU website http://www.anu.edu.au/hr/jobs/ise1077.pdf or the Business Office,
RSISE, Tel: +61 6125 8819, fax 61 2 6125 8824 or e-mail bm.rsise@anu.edu.au
Closing date for applications: 31 July 2002
Index of July 2002 | Index of year: 2002 | Full index