[J3] ================================================ AMAST Links 02 07

                          Research Positions
    Software Verification Research Centre, University of Queensland

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207J3.txt

  Reference Number: 54595

  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.
  Research positions are available for the following projects (one
position per project), starting from January 1996:
 o  Verified Compilation Methods for Real-Time Programs
 o  Object-Oriented Specification Based Testing
 o  Version Management in Structured Software Documents
 o  Fine-Grained Configuration Mangement
 o  Construction and Use of Libraries of Reusable Software Components
  See the full version of this announcement for a description of the
aims of each project and of the successful applicants' profiles.

  *General Information*
  For each position, the ideal candidate enjoys working in groups and
is able to progress towards stated goals with minimal supervision.
Unless stated otherwise, appointment will be for one year in the first
instance.
  For further information on any of these positions, phone
(07)365 1003, fax (07)365 1533, or email: svrc@cs.uq.oz.au
  Applications, quoting Reference Number 54595, should nominate three
referees with their address, email address, fax and telephone numbers
and be sent to: The Director, Software Verification Research Centre,
Department of Computer Science, The University of Queensland, QLD 4072,
or emailed to svrc@cs.uq.oz.au
  The closing date for applications is Friday 17 November 1995. The
level of appointment will be in accordance with qualifications and 
experience. Salary ranges: see the full version of this announcement.