Received: by A.GP.CS.CMU.EDU id bp03289; 29 Dec 95 0:42:24 EST Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id bo02910; 29 Dec 95 0:21:03 EST Date: Wed, 27 Dec 95 11:59:07 EST From: AI.Repository@GLINDA.OZ.CS.CMU.EDU To: ai+ai-predoc@cs.cmu.edu Subject: Predoc: AI at Griffith University (Brisbane, Australia) Sender: ai@A.GP.CS.CMU.EDU From: rwt@kurango.cit.gu.edu.au (Rodney Topor) Subject: CS & AI Researchers, Griffith Uni, Brisbane, Australia Date: 4 Dec 1995 07:53:16 +1000 Organization: Griffith University, CIT Griffith University School of Computing and Information Technology Research Fellowships / Research Assistantships The School of Computing and Information Technology (CIT) at Griffith University wishes to fill several new research positions. These positions are funded by six new ARC Large Grants, University funding for ARC Small Grants, and University support for the CRC for Distributed Systems Technology. CIT's large complement of internationally recognised researchers, involvement in major strategic research and development projects with high levels of external funding, and exceptional computing facilities (including the Queensland Parallel Supercomputing Facility) offer an outstanding research environment. Griffith University is recognised nationally for its innovation and commitment to multidisciplinary research and teaching. 1. Distributed systems technology: Distributed parameterised computation and data management in multidatabase systems. Research fellow for three years. Applicants are expected to have research experience in distributed computing and/or database systems, and in experimental computing. Contact Associate Professor David Abramson (davida@cit.gu.edu.au, +61 3875 5049) or Professor Rodney Topor (rwt@cit.gu.edu.au, +61 3875 5042) for more details. 2. Re-engineering software for improved reliability and maintainability. Research assistant for one year with possibility of renewal. Applicants are expected to have experience in Prolog and formal methods. Contact Professor Geoff Dromey (G.Dromey@cit.gu.edu.au. +61 7 3875 5040) for more details. 3. Scaling up formal software development for industry-scale applications. Part-time research assistant for one year with possibility of renewal. Applicants are expected to have experience in compiler technology and formal methods. Contact Professor Geoff Dromey (G.Dromey@cit.gu.edu.au. +61 7 3875 5040) for more details. 4. A parallel hypothetical reasoning system for constraint satisfaction. Research assistant/fellow for one year with possibility of renewal. Applicants are expected to have expertise in parallel or distributed logic programming and in symbolic artificial intelligence. Experience with the Warren Abstract Machine and parallel execution models of logic programs is desirable. Contact Dr Abdul Sattar (sattar@cit.gu.edu.au, +61 7 3875 5044) for more details. 5. Dynamics of mental states in rational agent architectures. Research fellow for three years. Applicants are expected to have research experience in the theory and practice of artificial intelligence logics. Experience with abductive logics and the AGM belief revision is desirable. Contact Dr Abdul Sattar (sattar@cit.gu.edu.au, +61 7 3875 5044) for more details. 6. A framework for computational reflection in compiled programs. Research fellow for one year with possibility of renewal. Applicants are expected to be familiar with internals of compilers, debuggers, run-time subsystems of programming languages, and to have experience in experimental computing research. Contact Dr Rok Sosic (sosic@cit.gu.edu.au, +61 7 3875 5026) for more details. 7. New parallel algorithms for database query evaluation and data mining. Research assistant for three years. Applicants are expected to have expertise in algorithms, database systems, parallel computing, and experimental computing research. Contact Professor Rodney Topor (rwt@cit.gu.edu.au, +61 3875 5042) for more details. All positions are available from January 1996. Applicants for research assistantships are expected to have a good Honours degree, relevant expertise, and research potential. Applicants for research fellowships are expected to have a PhD and a record of relevant research achievement. Applications should include a covering letter clearly stating the position(s) applied for, a CV, and full contact details of three referees (including phone, fax and email address). Applications should be submitted to Ms Sharon Phillips, Faculty of Science and Technology, Griffith University, Queensland 4111, Australia. Applications close on 5 January 1996. Salaries: Research Fellows: $32914 to $50111. Research Assistants: $27851 to $32914. Griffith University is an equal opportunity employer. ------------------------------------------------------------------------------- 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