From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: *** X-Spam-Status: No, score=3.5 required=5.0 tests=BAYES_50,INVALID_DATE, LOTS_OF_MONEY,MONEY_FORM_SHORT,MSGID_SHORT,REPLYTO_WITHOUT_TO_CC, T_FILL_THIS_FORM_SHORT autolearn=no autolearn_force=no version=3.4.4 Xref: utzoo comp.specification:149 comp.theory:1106 comp.lang.prolog:3202 comp.lang.ada:4351 comp.ai:7714 misc.jobs.offered:6516 Path: utzoo!attcan!uunet!munnari.oz.au!brolga!uqcspe!batserver.cs.uq.oz.au!staples From: staples@batserver.cs.uq.oz.au (John Staples) Newsgroups: comp.specification,comp.theory,comp.lang.prolog,comp.lang.ada,comp.ai,aus.jobs,misc.jobs.offered Subject: Research positions in Queensland, Australia Message-ID: <5037@uqcspe.cs.uq.oz.au> Date: 28 Sep 90 05:59:54 GMT Sender: news@uqcspe.cs.uq.oz.au Reply-To: staples@batserver.cs.uq.oz.au Followup-To: comp.specification Organization: Dept. Computer Science, University of Queensland, AUSTRALIA List-Id: RESEARCH POSITIONS SOFTWARE VERIFICATION RESEARCH CENTRE A Special Research Centre of the Australian Research Council Department of Computer Science University of Queensland The Australian Research Council recently awarded a Special Research Centre to the University of Queensland for research in Software Verification, with Professor John Staples as Director and Professors Gordon Rose and Jim Welsh as the other principal investigators. Research Program. The Centre will research industrially significant methods and tools for interactive specification and development of verified software. A particular focus will be the design of a generic environment for the interactive development of verified software. By the end of 1991 the Centre will house approximately 20 full-time staff and 15 research students. Areas of research. Stronger logical, mathematical and logic programming concepts for interactive reasoning; interactive reasoning systems; stronger specification techniques for integration into a methodology for developing verified software; integration of verification techniques and tools into software development practice; case studies; industrial applications and training; human factors and integration of verification and quality assurance techniques. The Centre's work will be supported by a new, well-equipped network of Unix workstations and X terminals. SENIOR RESEARCH POSITIONS Several senior research staff are sought, in the ranges Senior Research Officer and Research Fellow to Professorial Research Fellow, to provide additional research leadership in the research areas, mentioned above. Applicants should have a PhD in a relevant area, evidence of effective research leadership and be keen to help make the Centre a success. In general, appointments will be available from January 1991, for periods up to three years in the first instance. However a position is currently available to lead research on the integration of generic editing tools into an environment for interactive verification. This position requires good software design and development skills, a background in language processing and a sound appreciation of formal methods. RESEARCH POSITIONS In addition, research staff are sought to contribute to, and support, research in the areas mentioned above. Appointments will be in the ranges Senior Research Assistant to Research Officer. Applicants should have an Honours or higher degree in computer science or mathematics, or equivalent experience; be able to demonstrate ability in one or more of the Centre's research areas; and be committed to the Centre's success. All positions require an appreciation of the role of formal methods in software development. Some also require good software design and development skills, in logic programming and/or procedural programming. Other positions are to research interactive specification and verification methods, and require the application of mathematical skills. Appointments will be available from January 1991, for up to three years in the first instance. Technology transfer. Centre staff at all levels will be expected to contribute to the Centre's technology transfer activities. These may include for example consulting, teaching or industrial training. Salary ranges: Professorial Research Fellow: $67,812 Principal Research Fellow: $57,493 Research Fellow/Senior Research Fellow: $33,163 - $51,015 Research Officer/Senior Research Officer: $28,792 - $46,798 Senior Research Assistant: $25,948 - $33,204 Closing Date: October 19, 1990. For further information contact Professor John Staples at the Department of Computer Science, University of Queensland, Queensland 4072, Australia. Phone +61 7 377 2048; fax +61 7 371 0783; email staples@batserver.cs uq.oz.au Applications should be addressed to The Director, Software Verification Research Centre, Department of Computer Science, University of Queensland, Queensland 4072, Australia. All applications should nominate three referees, together with their addresses and preferably email addresses, fax and telephone numbers. Applications should quote reference number 47290.