Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa03972;
          20 Mar 95 16:46:28 EST
Date: Mon, 20 Mar 95 16:45:15 EST
From: AI.Repository@GLINDA.OZ.CS.CMU.EDU
To: ai+ai-predoc@cs.cmu.edu
Subject: Predoc: KR at Univ. of Newcastle (Australia)
Sender: ai@A.GP.CS.CMU.EDU

From: maryanne@maths.newcastle.edu.au (Mary-Anne Williams)
Date: Fri Mar 17 00:31:03 EST 1995
Organization: The University of Newcastle


         PART-TIME RESEARCH ASSISTANT IN KNOWLEDGE REPRESENTATION
                        UNIVERSITY OF NEWCASTLE
                               AUSTRALIA
1. Summary

A Part-time Research Assistant position ($8000) is available for 1995 at the
University of Newcastle. The area of research is Knowledge Representation,
in particular Nonmonotonic Reasoning and/or Belief Revision (see below for
more details). The RA must have qualifications that would allow them to
enroll in a (Research) Masters or PhD degree at the University of
Newcastle.  Depending on the successful applicant's qualifications and
experience further funding be available through part-time teaching.
Alternatively, the successful applicant could apply for an APA scholarship
for 1996

2. Research on Knowledge Representation in Newcastle

Within the Information Systems Group research is being carried out on
Nonmonotonic Reasoning (NMR) and Belief Revision (BR). At present there
are two main lines of work:

* The development of a toolkit for nonmonotonic reasoning which will offer
  implementations of a variety of methods for NMR and BR. Of particular
  interest are strategies for rendering these methods more practical. The
  focus is likely to be on issues such as structuring, combination with
  Object Oriented techniques, parallelization etc.

* We are looking at applications of these methods to practical problems.
  The area that has attracted most interest in this respect is Legal
  Reasoning, although other areas such as the analysis of negotiation
  processes and Decision Support Systems for business applications are
  also under investigation.

The successful applicant will on NMR and/or BR, depending on their
interests and background.

Newcastle offers an interesting environment which is conducive to research
in the area.  Apart from the local expertise, the successful candidate
will be involved in the Knowledge Systems Group which comprises
researchers from three universities (University of Newcastle, University
of Sydney and Macquarie University).  There are also growing links with
the AI and Law Research Group at the Universities of Melbourne and La
Trobe.

3. Required Qualifications

The successful applicant must possess a good Honours Degree (or equivalent)
in Computer Science or a related field.

4. Desirable Qualifications

Knowledge of the logical foundations of Computer Science is desirable.

Programming skills in Object Oriented methods (C++) are desirable for
candidates who prefer to work on implementational issues, and knowledge of
legal or economic issues will be an advantage if work in the area of
applications is aspired.

5. Application Procedure

Applications including CV and two letters of reference should be sent to:
Dr. Grigoris Antoniou, Information Systems Group, The University of
Newcastle, Callaghan, NSW 2308, Australia. APPLICATIONS CLOSE on April 30,
1995. Further information can be obtained from the above person (phone:
+61 (49) 216848; e-mail: mgga@alinga.newcastle.edu.au) or from Dr.
Mary-Anne Williams (phone: +61 (40) 215009; e-mail:
maryanne@frey.newcastle.edu.au).


-------------------------------------------------------------------------------
This message    | Submissions                       ai+ai-predoc@cs.cmu.edu
was sent via    | Subscribe/Unsubscribe             ai+query@cs.cmu.edu
the AI-PREDOC   | Available mailing lists include
mailing list.   |    AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC