🚀 go-pugleaf

Research Fellow and Senior Research Assistant

A Generic Program Refinement Tool

Software Verification Research Centre
Department of Computer Science
The University of Queensland

The Software Verification Research Centre is a Special Research Centre
of the Australian Research Council.  Its mission is to create improved
methods and tools, of industrial significance, for developing verified
software.

A new project to develop a generic program refinement tool
will begin in 1993. Two positions (both for one year initially)
are available commencing in January 1993 or as soon as possible
thereafter.

This project aims to develop a generic tool for the interactive
development of software, based on the refinement methodology
of Morgan, Back and Morris. The task involves:
  - extending existing approaches to support data refinement,
  - building the user interface on top of a generic language-based
    editor,
  - establishing close coupling with a proof system to 
    discharge obligations arising when applying refinement rules.

Research Fellow: applicants should have a PhD with a strong
interest in formal methods of software development. Experience
with the refinement calculus is highly desirable as is knowledge
relevant to the design of software support tools.

Senior Research Assistant: applicants should have a good Honours
degree in Computer Science or a cognate discipline such as discrete
mathematics or logic together with a significant background in
Computer Science. Familiarity with formal methods is highly desirable.

Salary ranges:
	Research Fellow: AU$41,000 -- AU$48,688
	Senior Research Assistant: AU$27,375 -- AU$34,034

For further information on either position, contact

Dr David Carrington (Ph: +61 7 365 3310 email: davec@cs.uq.oz.au)
Dr Ian Hayes        (Ph: +61 7 365 2386 email: ianh@cs.uq.oz.au)
Prof. Jim Welsh     (Ph: +61 7 365 2787 email: jim@cs.uq.oz.au)

Applications close Friday 4 December 1992. All applications should
nominate three referees with their addresses, email addresses, fax
and phone numbers. Applications should be addressed to:

	Professor Jim Welsh
	Software Verification Research Centre
	Department of Computer Science
	The University of Queensland
	St Lucia 4072
	AUSTRALIA

	(Fax: +61 7 365 1533)

Equal opportunity in employment is University policy.