🚀 go-pugleaf

Senior Research Assistant (HEW Level 4)

Formal Methods for the Specification and Refinement
of Real-Time Systems and Processes

Department of Computer Science
The University of Queensland

An Australian Research Council funded project to develop
methods for the specification and refinement of real-time
systems began in 1992.  One research position is available
for one year commencing in November 1993 or as soon as
possible thereafter.

The project aims to develop theory and notation for the
specification and refinement of real-time systems,
apply the theory to substantial case studies, and
investigate tools to assist these processes.
A significant objective of the project is to be able to
specify complete systems and develop hybrid implementations
consisting of both hardware and software components.

Applicants should have a good Honours degree in Computer
Science or equivalent.  Familiarity with formal methods is
highly desirable.

Salary: Within the range AU$26,306 -- AU$28,022.

For further information contact:

Dr Ian Hayes        (Ph: +61 7 365 2386 email: ianh@cs.uq.oz.au)
Dr Brendan Mahony   (Ph: +61 7 365 1658 email: brendan@cs.uq.oz.au)

Applications close Friday, 1st October 1993. All applications should
nominate three referees with their postal addresses, email addresses,
fax and phone numbers. Applications should be addressed to:

	Dr Ian Hayes
	Department of Computer Science
	The University of Queensland
	Brisbane 4072
	AUSTRALIA
	(Fax: +61 7 365 1999)

Equal opportunity in employment is University policy.
--
Dr Ian Hayes			ACSNet: Ian.Hayes@cs.uq.oz.au
Mail: Department of Computer Science, University of Queensland,
      Brisbane, Queensland  4072, Australia.
Work: +61 (7) 365 2386.	FAX:  +61 (7) 365 1999.	Timezone: GMT+10 hours.