From: sue@cs.uq.oz.au (Sue Harris)
Newsgroups: sci.logic,comp.specification,comp.realtime,comp.lang.prolog
Subject: Postdoctoral & Honours level positions avaiable in Brisbane.
Summary: 3xRes.Fellow/Sen.Res.Fellow & 2xSen.Res.Asst. positions at SVRC, Brisba
Keywords: Verification, methods, tools
Date: 8 Oct 92 06:22:30 GMT
Reply-To: sue@cs.uq.oz.au
Followup-To: sci.logic


Integrated Software Development Methodology - Five positions -

Software Verification Research Centre, Department of Computer Science
(SVRC)

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.  Five positions are available in a project which will formulate
a new methodology (ISDM) for developing verified software, based on the
integration of successful aspects of current methodologies including VDM,
Z and object-orientation, together with appropriate tools support.

Research Fellow/Senior Research Fellow - ISDM methods research.
The appointee will take a leading role in a team consisting of two
full-time positions with contributions from other SVRC staff and projects.  
This team is to develop improved methods for ISDM.  The appointee will 
coordinate this work with concurrent work on ISDM foundations and tools.
A strong background in logic and discrete mathematics and/or formal methods
for software development is essential.  Prior experience of software
verification is highly desirable.  Applicants should be able to demonstrate
initiative and responsibility in working towards team objectives.  The
position is for up to three years in the first instance, subject beyond
the end of 1993 to continuation of the SVRC's Special Research Centre funding.

Research Fellow/Senior Research Fellow - ISDM tools research.
The appointee will take a leading role in a team consisting of two
full-time positions, with contributions from other SVRC staff and projects.
This team is to investigate the design and prototyping of tools support
for ISDM, exploiting as appropriate existing SVRC tools development 
capabilities, which include both generic structure editors and extended
logic programming languages.  
The appointee will coordinate this work with concurrent
work on ISDM foundations and methods.
A strong background in relevant aspects of
software engineering is essential.  Some familiarity with formal methods
and software verification is highly desirable.  
Applicants should be able to demonstrate
initiative and responsibility in working towards team objectives.  The
position is for up to three years in the first instance, subject beyond
the end of 1993 to continuation of the SVRC's Special Research Centre funding.

Research Fellow/Senior Research Fellow - ISDM foundations.
This position is to investigate logical and mathematical aspects of the
proposed ISDM, in collaboration with concurrent work on methods and tools.
A strong background in logic, discrete mathematics and formal methods for
software development is needed for this position.  Applicants should enjoy 
working in a team.

Senior Research Assistant - two positions.
Applicants should have a good Honours degree in Computer Science, or in
a cognate discipline such as discrete mathematics or logic together with
significant background in Computer Science.  One position is to assist
investigation of formal methods for software development, and applicants
for this position should preferably have experience of formal methods.
The other position is to assist research on tools support for the 
proposed ISDM, and applicants for this position should be experienced 
in both procedural and logic programming, and should have some knowledge 
of the role of formal methods in software development.  
Applicants for both positions should enjoy teamwork.

-----------------------------------------------------------------------

Salary ranges: Senior Research Fellow AU$50,225 - AU$57,913; Research Fellow 
AU$41,000 - AU$48,688; Senior Research Assistant AU$27,375 - AU$34,034.
Superannuation  available subject to medical examination.  Relocation
assistance available.

For further information on any of these positions, contact The Director,
Prof John Staples, Ph +61  7  365 2048, Fax +61  7  365 1533, email
staples@cs.uq.oz.au  Applications should be addressed to The Director,
Software Verification Research Centre, Department of Computer Science,
The University of Queensland, Qld. 4072, Australia, or emailed to the
SVRC Administrator, dowrie@cs.uq.oz.au

All applications should nominate three referees with their addresses
and email addresses, fax and telephone numbers.  Applications close
Monday 2 November 1992.